This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "DejaGNU".
The annotated tag, remove-bluegnu-after has been deleted
was 611729de84d1b633ee6fa9073295467cdfa829e8
-----------------------------------------------------------------------
tag remove-bluegnu-after
d8222ca8b95f85467601faf692ec5e391e407e1d Remove stray BlueGnu file.
-----------------------------------------------------------------------
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
