[Pkg-ocaml-maint-commits] [coccinelle] annotated tag debian/1.0.6.deb-3 created (now 7571552)

[Eugeniy Meshcheryakov]

This is an automated email from the git hooks/post-receive script.

eugen pushed a change to annotated tag debian/1.0.6.deb-3
in repository coccinelle.

        at  7571552   (tag)
   tagging  25e5cd36259edfb9029a4f8a08aeca753c5b554c (commit)
  replaces  debian/1.0.6.deb-2
 tagged by  Eugeniy Meshcheryakov
        on  Wed Jan 10 01:02:12 2018 +0100

- Log -----------------------------------------------------------------
coccinelle Debian release 1.0.6.deb-3
-----BEGIN PGP SIGNATURE-----

iQIcBAABCAAGBQJaVVgEAAoJEMFtqOf0Ubk80FMP/2Ud4pjta2v+Jp7gMCibYjml
j5jQA2zZC2wAi5rYhz94/tibXcLY0+Gm2KX9fm/BUt1tk+KW954kErGCwAQviOAt
ieCEYb2JX4V5OEMZHGJK00ugel0XKtcCasqnUMsYrNLHqlLit+aom93ElPNRr7nG
ZPz1f6qh69T3Y/OxiwkTTrGIU1qpBttaX9S3JXYjixWoVaWTji7yWLjJvFK5+U14
IUFyj5wQ+BbFkvP7dpLFnFnHvf5VrJar7kZ1R1VlsckaZIvFa41I/+rbjukFsE9H
SjjedzlupEFORQc7AYhKJH25uCpVIohzOSs2jjKZlzL67iAaLqDJukJuAsOvrAhG
u009rpvPKH/6hq1swNGdQ2X96pTUnkI8FOIdQKQa8qbA6B6q1NXtnW73R0HFNARL
XS4HN3xVn6td2ifV+zgzd2W5cp4l8I4ivcopDIXUk8jPJK4ymwobSf/duu7yG6SP
v4oqPOXmt2agKtmbmRigTmYr0AnytIo7stxwXK39tAZ+W4+ribG/ykp32OtrPALV
Y5jv1SwirRBhmrIxMOI089J712g3A3S8qP1dE5CsYFcSXrQ34kfPlFWq+9ehRe5P
aohVHoErXqpp+M5HdS/Ubl+oEW4llziCykgvDxXvUNgIGv72JttskDBukvC5fOGI
TNXDfi8xcAbPE+eTGWRu
=zrdG
-----END PGP SIGNATURE-----

Eugeniy Meshcheryakov (2):
      Pass --disable-opt to configure instead of just not passing --enable-opt on architectures without native compilers (again, closes: #886714)
      New patch to fix compilation with --disable-opt

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

No new revisions were added by this update.

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coccinelle.git