[Pkg-ocaml-maint-commits] [prooftree] annotated tag debian/0.12-2 created (now c5a6a1f)

[Stéphane Glondu]

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

glondu pushed a change to annotated tag debian/0.12-2
in repository prooftree.

        at  c5a6a1f   (tag)
   tagging  db95154d157f7ee8ffecfea7d5ea85185fa27fd6 (commit)
  replaces  debian/0.12-1
 tagged by  Stephane Glondu
        on  Wed Oct 14 10:15:09 2015 +0200

- Log -----------------------------------------------------------------
prooftree Debian release 0.12-2
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAABCgAGBQJWHg8NAAoJEHhT2k1JiBrTxDgP/1HcG3cg72JmI2h11eelFl/L
2ieJgZkBD6N2c+IdGkRKL50oYBr+RajByGXWHNzd7h7ANgJwlDV6aXeQv/6ixWyW
WpWft5AzxtxkFcNg73rug+hzqe9+bL/gYqoUMw2ulHkyucNQfGhgz11xgubLZEaA
jpYUNc1Ha/THxqhmytTtshNP4dLMnFImn1YinB5tuAfj53CCfResohh9CmrBkoPM
tzRPnpPzqsZhDIrKOG51kO3OGzT7+wB8+95Cw/LuNJfRDBpqhXqtGvVDFy4BRvgP
mwIlBsrSfofZmNFLrg6htIjci6MqUxVUr3jIhUYfAlILDZVA4OY3tpL1wDCbjPu4
tECwo5tywkXMJx4QyVM2ISbo2fGUDRaZ14RLqvyqbzEN6FiIbpoeFXfNc1qdLB1r
DnOLPtRCEEhvEK479P7GmP3B5gjkNMYnenqA07yRcjwZcp/GVDQdQe12cwPCLEJG
LO6IMlsWKZdi3NI3B0ybC1DmCrbg90nyKTw6dN7gDAdg5dXxgGpec61OiiuJFSjZ
EDjtRaLoB3/SA6a/BktNHX6sk5g8vONbLlG49WbmApj3i2430pypCmUQ+vP8fvYi
9XDbgFqYk8SRnD+5iwdPtBb6kSJsc3Hc0ZagOKBmpOhAvIjroZ8m5/EbqaZkHB0Z
vdJ20rdD9NCMk8vaZi09
=tLsS
-----END PGP SIGNATURE-----

Hendrik Tews (1):
      lintian canonical vcs

Stephane Glondu (2):
      Fix compilation with OCaml 4.02
      Update changelog and prepare upload 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/prooftree.git