[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.0-1-26-g3fb94df

Sun May 15 17:32:28 UTC 2011

The following commit has been merged in the master branch:
commit bd402cf23af3409e9eb587cd6c5b6b2c99e24916
Merge: c6d7693ccbfa57dcbf9496f1c510eb8ed6683297 ead4b6f5097bd54ec9dd35c2ea84ecc907ad5009
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun May 15 18:32:45 2011 +0200

    Merge commit 'upstream/2.9.3'


-- 
dose3 packaging