[Pkg-ocaml-maint-commits] [SCM] ledit packaging branch, master, updated. debian/2.01-5-5-g718185f

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 03fba84cef4d4470e9f0b7a55e306ad9e105e19a
Merge: 0a40ace50d7ae2bc9e6bc1e1fae0543987341973 9303729ac4f84c930ccb21d82fbc94ad663d2885
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Nov 19 08:49:20 2010 +0100

    Merge commit 'upstream/2.02.0'


-- 
ledit packaging