[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.4-2-24-ga7c81d2

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 20c7e09d53dc146ef05fb2649667aaec0e982e60
Merge: b0cd288290da53e3c397299bb0c37d594e8b92f1 a1fee0e0b1b80450eef8d56f3341052cf9f80883
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Sun Jun 12 09:37:28 2011 +0200

    Merge commit 'upstream/2.9.8'


-- 
dose3 packaging