[Commit-gnuradio] [gnuradio] annotated tag distcheck-master deleted (was d5e5a76)

[git]

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

jcorgan pushed a change to annotated tag distcheck-master
in repository gnuradio.

*** WARNING: tag distcheck-master was deleted! ***

   tag was  d5e5a76

The revisions that were on this annotated tag are still contained in
other references; therefore, this change does not discard any commits
from the repository.