[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. debian/0.91-2-7-ga245885

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 9a97530346a2c153f68450412c7dfba59a317f5c
Merge: 2575a14778b5d3f555d0a65fca40154d7e34ae59 1d67fbbc33c1865f409a6ac71c34581d595bde6c
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Apr 15 22:49:02 2011 +0200

    Merge commit 'upstream/0.93'


-- 
alt-ergo packaging