[Pkg-ocaml-maint-commits] [SCM] menhir packaging branch, master, updated. debian/20080912.dfsg-2-3-g54c92ca

Wed Feb 18 15:49:31 UTC 2009

The following commit has been merged in the master branch:
commit 54c92ca0a796668c4b8154cbac2265d07ca5239a
Merge: 6044e364c99666743d4c587dcc8aad86b7518d2d 302c57f39750387bf70e9de25a71f49f98f574e5
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Wed Feb 18 16:45:36 2009 +0100

    Merge commit 'upstream/20090204.dfsg'


-- 
menhir packaging