This is an automated email from the git hooks/post-receive script.
treinen pushed a change to annotated tag debian/8.4pl4-2
in repository coq-doc.
at 316232c (tag)
tagging ca67dd6e1ceafd5f6daf2beed260aa2092af01db (commit)
replaces debian/8.4pl4-1
tagged by Ralf Treinen
on Thu Feb 11 09:06:07 2016 +0100
- Log -----------------------------------------------------------------
coq-doc Debian release 8.4pl4-2
Ralf Treinen (1):
fix ftbfs "unterminated string literal"
-----------------------------------------------------------------------
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/coq-doc.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
