[Pkg-ocaml-maint-commits] [SCM] obus packaging branch, master, updated. debian/1.1.2-2-5-gabf78a3

[Stephane Glondu]

The following commit has been merged in the master branch:
commit ac6d7e12e1aba40586d24f1fbe42229b58fcf623
Merge: 484d43394d0492cabdde49b6231615d9ae19e527 c057bbc52befe29a8047a3871a5dead9818528ad
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Jul 30 13:16:01 2011 +0200

    Merge commit 'upstream/1.1.3'


-- 
obus packaging