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

mehdi pushed a change to annotated tag debian/20161101+silicon+dfsg-4
in repository frama-c.

        at  16a9fe7   (tag)
   tagging  0de6a017f4dd7ad92b6010ea2ca690722b02ea3d (commit)
  replaces  debian/20161101+silicon+dfsg-3
 tagged by  Mehdi Dogguy
        on  Sun Jan 1 17:28:43 2017 +0100

- Log -----------------------------------------------------------------
frama-c Debian release 20161101+silicon+dfsg-4
-----BEGIN PGP SIGNATURE-----

iQIzBAABCAAdFiEEvYOKK6r540CL2WRoM74aCowu2P8FAlhpLjsACgkQM74aCowu
2P9MLA//dknNSYXYEPuYTVkrB096EalFITatu04YuEe3xiKj17EPoFQDF0nxHU4S
9afewDAdGM+zTmisCX1uIGd3/LWey98htkXVzeq0gAy0iQNvMzV/Jg2pMryD+jQ3
XXZCvBcW/6fbfOoctTNixNjf2nQYdP6t6Su7frnvuYYQ/UlX7cDB8Nr2sXv8IODM
iOsZqcA6QmLT1VY/+J80sJDAgL+hHjK4j62NwEuEnJqMidwldv637sjH58Qquwqw
R7q80Juy8Y3Mfj/lran8GZ03ZXcM8xV1QBwklHjdvZ9kVNDSkrP4rXZTdNFuCSBH
m2GPYaDhxtr+KniWG6VhPsUHtYAwTmDgqpf3qEUndt6OC9TERD928QfiwtasNEj8
bbOziVI9/f19e4UPRop+tFtrI2wHtMnHna88IyTf56tNDb3OHuO4X49TznO3chGV
SSUrT/vZ7NrYmSEQyum9s5cEqcQ2rdak0EKAZUYNFO5HXJrFilOTLeL0/st17uKK
t0jq65rHbDxuKQNm5Hlgnzsjowv0zXsWVcqp+MDg0SOYMl/ILPliOrE/8QV+G5u9
s2v+D/d82Hh+Ii5nL08wJpnt6MbjC7afpM8nM33zA6PNgpkc74bCdS/M1ZaFdQp7
75InFfd4oMlthG3czKJ5dgBxAUTD0FuHiTOuMqI8bXMcX9Nyb3c=
=WvPf
-----END PGP SIGNATURE-----

Mehdi Dogguy (2):
      Avoid using PWD in the Makefile
      Release to unstable

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

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/frama-c.git

_______________________________________________
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