[Pkg-ocaml-maint-commits] [SCM] ledit packaging branch, master, updated. debian/2.01-6-11-g56e1633

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 1ca59af62fb409d6eb96a2e81b40d6c62245a0e1
Merge: f5aaab3e4d0fb5d98fba752b56f24fa433ff59cd 06bfc94e97dca4547d390f08c2a20346d0f37963
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Nov 19 11:47:23 2010 +0100

    Merge commit 'upstream/2.02.1'


-- 
ledit packaging