[Commit-gnuradio] [gnuradio] tag v3.7.6 deleted (was a20ff07)

[git]

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

jcorgan pushed a change to tag v3.7.6
in repository gnuradio.

*** WARNING: tag v3.7.6 was deleted! ***

       was  a20ff07   Updated revision for release 3.7.6

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