[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, patched, updated. patched/0.1.6.deb+a-2-8-g01311f2

[Eugeniy Meshcheryakov]

The following commit has been merged in the patched branch:
commit 01311f27ff87f70376b0d2c4200da16f81280b80
Merge: ba944e63b9fd4940232e7ed52841a6f7ece2b82c e6039e525f28329a235b9d4ad635c977aba49b94
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Sun Apr 12 00:15:48 2009 +0200

    Merge branch 'master' into patched


-- 
Debian packaging for coccinelle