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

mehdi pushed a change to annotated tag debian/1.0_rc4-3
in repository parmap.

*** WARNING: tag debian/1.0_rc4-3 was deleted! ***

   tag was  2ae921c

This change permanently discards the following revisions:

  discards  f9e73f9   Release to unstable

Alioth's /usr/local/bin/git-commit-notice on 

Pkg-ocaml-maint-commits mailing list

Reply via email to