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

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit b172c9a7d3cb3689c4fd64d57c8cd43d96aa4ddd
Merge: 4cd1ab847e13c932e0b2db1ea7142a13fa7b24c9 441a8564ec993b77c9b4d99a27d1240231e7cf38
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Fri Jun 10 17:40:11 2011 +0200

    Merge commit 'upstream/2.9.4+r2696'


-- 
dose3 packaging