[Pkg-ocaml-maint-commits] [SCM] bin-prot packaging branch, master, updated. debian/2.0.1-1-11-g04c1a8a

[Stephane Glondu]

The following commit has been merged in the master branch:
commit d131f4d67b6008aeae58f0f59c4bc1e5437b11c8
Merge: 7913ae9158c5bec8a955e5be5ce6885e9c4287c9 1f3be770e469c1af2cf6965cdb8af7df068e1d3a
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Nov 10 23:50:22 2011 +0100

    Merge commit 'upstream/2.0.7'


-- 
bin-prot packaging