[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. debian/0.93-3-5-g1f0c9ff

Thu Dec 8 16:51:20 UTC 2011

The following commit has been merged in the master branch:
commit 014dfabc14fc20c5a67a12d0d7c91dd8e3c04828
Merge: f85e7d3f5f8fc45670d0982efdcb2dc06980a978 76e407e9d27473975cf77bb9740a0dcae6a137b5
Author: Mehdi Dogguy <mehdi at dogguy.org>
Date:   Thu Dec 8 17:18:10 2011 +0100

    Merge commit 'upstream/0.94'


-- 
alt-ergo packaging