[Commit-gnuradio] git://gnuradio.org/gnuradio branch, master, updated. v3.7.2-1-g8d784cc

[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 branch, master has been updated
       via  8d784cc0ca6ced9521d9040b5fe81ddb6cbba127 (commit)
       via  ed58186ad0949987aedee8ee635ee7b4df2772b4 (commit)
      from  8c54c5960b1d967f8180708daadf11fa69c8bcf8 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
-----------------------------------------------------------------------

Summary of changes:


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