[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, patched, updated. patched/0.1.6.deb+a-3-13-ga7f34a5

[Eugeniy Meshcheryakov]

The following commit has been merged in the patched branch:
commit 2cc4065c28a4f5fd4bdcbd297b0b48a7a0546b6b
Merge: 01311f27ff87f70376b0d2c4200da16f81280b80 0102c7d9d6f440dba315ddd6ed9ccf7afc454098
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Thu Apr 16 22:14:22 2009 +0200

    Merge branch 'master' into patched


-- 
Debian packaging for coccinelle