[Pkg-ocaml-maint-commits] [SCM] camlp5 packaging branch, master, updated. debian/5.10-3-7-gbf150d7

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 5625b174d83ecdef840a860c3a09d40f91d6c074
Merge: 4e34f87cff5f82acc9579e7ececfb2d9719a8b98 32c1008a190d6e2b00408c1fda0aa1a2fe48b344
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat May 23 12:31:51 2009 +0200

    Merge commit 'upstream/5.12'


-- 
camlp5 packaging