[Pkg-ocaml-maint-commits] [SCM] ledit packaging branch, master, updated. debian/2.00-4-9-gb35c0c0

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit c7781f75880f36b25ab2a6341713c04aeb20a882
Merge: 02087e3c61b3a89fd7269229a870acfb68782dfa 152dd2d8b22edba55cdb949a27583ccfa7da32b4
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Sun Feb 1 18:03:17 2009 +0100

    Merge commit 'upstream/2.01.orig'


-- 
ledit packaging