[Pkg-ocaml-maint-commits] [SCM] laby packaging branch, master, updated. debian/0.5.0-1-8-g9b7ef2f

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 2d89114213fe9c7234204a66451c5b1620bbe4d7
Merge: edfc9846b11a926f75dbf2a414e3465520c92977 5a6edda0ef9be4b8ccbbf3d637b10baf20c0d8cc
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Fri Jun 5 12:43:47 2009 +0200

    Merge commit 'upstream/0.5.1'


-- 
laby packaging