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

[Eugeniy Meshcheryakov]

The following commit has been merged in the patched branch:
commit ad953a3428923a7d30f509e23d8791d3a98c3955
Merge: c01aa62e4314ee7739dc963cad3081cf4a4433d8 50a62b32571b934a1efd354a3de7420f0a53f137
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Fri Jun 12 13:37:32 2009 +0200

    Merge branch 'master' into patched


-- 
Debian packaging for coccinelle