[Pkg-ocaml-maint-commits] [SCM] cryptokit packaging branch, master, updated. debian/1.5-1-10-gcc86fd7

[Stephane Glondu]

The following commit has been merged in the master branch:
commit cf781528b482089cf7b44c45dc42eab219496a4e
Merge: 121df48f2ef728360b73089ad7d6a1ae47f87d78 c8502c67bbae652f93999282cf0de5a5e34ab3fe
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed May 8 14:32:05 2013 +0200

    Merge tag 'upstream/1.7'
    
    Upstream version 1.7


-- 
cryptokit packaging