[Pkg-ocaml-maint-commits] [SCM] bin-prot packaging branch, master, updated. debian/1.2.24-1-12-g8301999

[Stephane Glondu]

The following commit has been merged in the master branch:
commit ac0584ab4d9c4258fb3923e063e68c6a69c266ee
Merge: 0ab28856f89224ba55633b76ad11840107cee18e b5b230d22f40d90b00be545a13417e5d6987c55f
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Jun 27 09:40:19 2011 +0200

    Merge commit 'upstream/1.3.1'


-- 
bin-prot packaging