[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, patched, updated. patched/0.1.6.deb+a-1-10-gba944e6

[Eugeniy Meshcheryakov]

The following commit has been merged in the patched branch:
commit ba944e63b9fd4940232e7ed52841a6f7ece2b82c
Merge: ccb24ecc5c3d35a3bb1337f8728fcc01b149791e f10e6d674391f36780390ad08f889054c589ee69
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Mon Apr 6 17:14:04 2009 +0200

    Merge branch 'master' into patched


-- 
Debian packaging for coccinelle