[Pkg-ocaml-maint-commits] [SCM] extlib packaging branch, master, updated. debian/1.5.1-5-12-g4a99eb3

[Stephane Glondu]

The following commit has been merged in the master branch:
commit dafb4ef5741f65ecd9b21fb9595f8b67a465e500
Merge: e3ad894e3752c066f42732b94181c0a6f8406307 85fd678bf9ceaf756bd6c1abf3bfc3e2028c5eae
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Aug 15 20:40:13 2011 +0200

    Merge commit 'upstream/1.5.2'


-- 
extlib packaging