[Pkg-ocaml-maint-commits] [SCM] camlp5 packaging branch, master, updated. debian/5.12-3-5-g0ddae45

[Stephane Glondu]

The following commit has been merged in the master branch:
commit d2859dfdea31fd943f6b9e31a5654dfc184e6df2
Merge: 5571794ea56ee6427cf3d32f8a7e61c4407f9346 199e0f12c618bca0138585768257164b5f22cd3d
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Apr 9 06:45:04 2010 +0200

    Merge commit 'upstream/5.13'


-- 
camlp5 packaging