[Pkg-ocaml-maint-commits] [SCM] bin-prot packaging branch, master, updated. debian/1.2.23-1-7-g41f2fd6

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 3bd0d32464459dbbd03f95ca13d51cf020d44c47
Merge: 18a31aacdab702015bda4aa1e9935ed1a66b5e56 2473db04e48c452187f048b05221ec649d9bd284
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Feb 18 06:56:48 2011 +0100

    Merge commit 'upstream/1.2.24'


-- 
bin-prot packaging