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

[Eugeniy Meshcheryakov]

The following commit has been merged in the patched branch:
commit ba40c6a861525880e4d7d107cab40da12af4134f
Merge: 0d4e05e402e8a29582743703e7143f5423a89fa6 81baa4dee591a5cc145f93573547137ee0a08312
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Sun Aug 9 21:07:55 2009 +0200

    Merge branch 'master' into patched


-- 
Debian packaging for coccinelle