This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag debian/20021123-18ubuntu1
in repository mlgmp.
at ccc2778 (tag)
tagging a88f861b62ac0216d68f51443b3dd4e24b239ef7 (commit)
replaces debian/20021123-18
tagged by Stephane Glondu
on Mon Jul 17 09:41:52 2017 +0200
- Log -----------------------------------------------------------------
Debian release 20021123-18ubuntu1
Dimitri John Ledkov (1):
Import Debian changes 20021123-18ubuntu1
-----------------------------------------------------------------------
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/mlgmp.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
