[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, patched, updated. patched/0.1.8.deb-1-3-g12d773a

[Eugeniy Meshcheryakov]

The following commit has been merged in the patched branch:
commit 12d773a783f09d4321365a9f8b002e11a22f9c8a
Merge: d17294f17647d3337100d8245796a19974644722 5673221e66328622b619b65fa4b0e9ed3814a33c
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Mon May 11 15:41:50 2009 +0200

    Merge branch 'master' into patched


-- 
Debian packaging for coccinelle