[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. debian/0.9-1-9-g6c60e79

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit e73540d128007edeacb2c7d0852ff266377adf91
Merge: a03f71b03c816e8c7dc3fe6d680fa947adc66cdf 4c4bebe99e60fb4af241e864f003a88fbb2f02cc
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Tue Jun 1 20:10:52 2010 +0200

    Merge commit 'upstream/0.91'


-- 
alt-ergo packaging