[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle annotated tag, debian/1.0.0_rc12.deb-5, created. debian/1.0.0_rc12.deb-5

[Eugeniy Meshcheryakov]

The annotated tag, debian/1.0.0_rc12.deb-5 has been created
        at  3d5218c929b30d70d1ed7fb34c36e29b37864a57 (tag)
   tagging  5fe93b31a5e74886e143cd0e13cbe576632bafff (commit)
  replaces  debian/1.0.0_rc12.deb-4
 tagged by  Eugeniy Meshcheryakov
        on  Sun Nov 25 15:35:09 2012 +0100

- Shortlog ------------------------------------------------------------
Debian release 1.0.0~rc12.deb-5
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iEYEABECAAYFAlCyLJ0ACgkQKaC6+zmozOIyxQCbB90jPdazzcdqK2RcAo/VlVu5
Z7kAmwStt1+L0aHiuKh5vPkFk7qYjl8d
=22vK
-----END PGP SIGNATURE-----

Eugeniy Meshcheryakov (3):
      Add Breaks/Replaces coccinelle (<< 1.0.0~rc7.deb-4) to coccinelle-doc, this fixes package upgrades. Thanks to Andreas Beckmann (closes: #694269)
      debian/gbp.conf: set debian-branch to 'wheezy-updates'
      Urgency medium because of a fix for an RC bug

-----------------------------------------------------------------------

-- 
Debian packaging for coccinelle