[Pkg-ocaml-maint-commits] [SCM] bin-prot packaging branch, master, updated. debian/1.3.1-3-6-gd0dee95

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 1848ee76946161972347d1659d4026f47a4cf281
Merge: 554d35ffec316f59c4621aa2878b0bac781ada7b babc8b5eb475aea307a651c405fccd2fb7da2f28
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Aug 4 10:15:12 2011 +0200

    Merge commit 'upstream/2.0.1'


-- 
bin-prot packaging