[Pkg-ocaml-maint-commits] [SCM] cryptokit packaging branch, master, updated. debian/1.3-14-14-g9ddb115

[Stephane Glondu]

The following commit has been merged in the master branch:
commit a165ac508770ae7fd904e936db2dd95a536f99f1
Merge: 6e746c9c29d211fe69891c2f3f94f85caf36b084 f59fc37c50537bbb57e9794d5b7278c2acb6a35e
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Nov 21 07:18:44 2011 +0100

    Merge commit 'upstream/1.5'


-- 
cryptokit packaging