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

    Merge commit 'upstream/1.0.0_rc7.deb'


-- 
Debian packaging for coccinelle

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to