[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, master, updated. debian/0.2.5.deb-3-10-g3a46b87

[Eugeniy Meshcheryakov]

The following commit has been merged in the master branch:
commit 5da4731bb3836192970b4a7471eec8440dbcb659
Merge: 3213892ccbf95fe6fbacf7c4d31acab65b32abb1 d92982dc0457c77ef96ffae56dd82f81cb397eac
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Tue Oct 25 20:48:11 2011 +0200

    Merge commit 'upstream/1.0.0_rc7.deb'


-- 
Debian packaging for coccinelle