[Pkg-ocaml-maint-commits] [SCM] cduce packaging branch, master, updated. debian/0.5.3-3-19-g4c79f00

[Stephane Glondu]

The following commit has been merged in the master branch:
commit a2a18a90075e9d74f264379b85f258d36dd65855
Merge: eeb31c339a0c2354a8bd1f77ed94cfd56f40aa8c 0ae3d85461aa1c7d01dd524867d8607dced58f81
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jul 7 09:11:16 2011 +0200

    Merge commit 'upstream/0.5.4'


-- 
cduce packaging