[Pkg-ocaml-maint-commits] [SCM] laby packaging branch, master, updated. debian/0.5.1-1-10-g4b2cc40

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit eb1bb5083c98605f5beebf1590933f494c9d80ed
Merge: f61f1ef9f507cbe0463c6a8d3533dc2bfda3216a 5ceb7a8407ca436d113c9c2c4774b8b9fb2d798f
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Mon Aug 24 11:45:10 2009 +0200

    Merge commit 'upstream/0.5.3'


-- 
laby packaging