[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, patched, updated. debian/0.1.9.deb-1-25-gdef76de

[Eugeniy Meshcheryakov]

The following commit has been merged in the patched branch:
commit efa1d72f7b4ae73550747ce747ad6997bf29551f
Merge: 816f2355e2ef663daf1f4ab5b2ed14a1972f7f1a a7c68cd12e7a76136b6c4ce09bb2b61a4325d076
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Tue Sep 8 01:46:15 2009 +0200

    Merge branch 'master' into patched


-- 
Debian packaging for coccinelle