[Commit-gnuradio] [gnuradio] tag distcheck-next deleted (was 250998d)

[git]

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

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

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

       was  250998d   msdd6000: removed from tree, obsolete

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