[Pkg-ocaml-maint-commits] [SCM] menhir packaging branch, master, updated. debian/20071212.dfsg-1-15-g2bf5878

Thu Jan 15 10:38:13 UTC 2009

The following commit has been merged in the master branch:
commit e03199d4f3c203d42548557ba7da45dd955eb4da
Merge: 700de871c4ab89a8100e36361dc06d5dd68f750f b0bcb735076897ce01a3b223864c83d611186be2
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue Jan 6 17:14:16 2009 +0100

    Merge commit 'upstream/20080912.dfsg'


-- 
menhir packaging