[Commit-gnuradio] git://gnuradio.org/gnuradio annotated tag, v3.7.2, deleted. v3.7.1.1-147-g3c10174

[git version control]

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 "git://gnuradio.org/gnuradio".

The annotated tag, v3.7.2 has been deleted
       was  1b2b40cbdf384ccb57fcfb3b9b6748452f3b1f93

-----------------------------------------------------------------------
tag v3.7.2

v3.7.2
3c10174a19ced40ef91f637a65c27109ab80599a cmake: update revision to 3.7.2
-----------------------------------------------------------------------


hooks/post-receive
-- 
git://gnuradio.org/gnuradio