[Pkg-ocaml-maint-commits] [SCM] mikmatch packaging branch, master, updated. debian/1.0.2-1-5-g4176f95

[Stephane Glondu]

The following commit has been merged in the master branch:
commit bcdaac65b2b64c393a17462efac965de0971a852
Merge: 40c447ac82533f8fd95dd831e825bd70d6095220 ab1d8cce9e379a92662ff19fc9ccd53a9b6fa973
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Apr 19 09:25:01 2011 +0200

    Merge commit 'upstream/1.0.3'


-- 
mikmatch packaging