[Pkg-ocaml-maint-commits] [SCM] pgocaml packaging branch, master, updated. debian/1.5-2-13-g5b221c3

[Stephane Glondu]

The following commit has been merged in the master branch:
commit f588ba1370b543ecc25a61fa74ad2d52249394e1
Merge: 74372b7b5d4c4e717fd1ae562ce2546f8e337e62 2e804a628bba0059af718cf308c57962e519d0d5
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Jul 12 11:31:37 2013 +0200

    Merge tag 'upstream/1.7.1'
    
    Upstream version 1.7.1


-- 
pgocaml packaging