[Commit-gnuradio] git://gnuradio.org/gnuradio branch, master, updated. v3.5.2-7-g7a3a0b5

[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  7a3a0b531c79925b8ea291471534e5a1c2693ba8 (commit)
       via  8e013157752f1b42665430fde0f1c6f7d7147153 (commit)
      from  502d7466f7659154b015e6ce94eafad569604cb1 (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:
 cmake/Modules/GrPlatform.cmake |   10 +++++++++-
 1 files changed, 9 insertions(+), 1 deletions(-)


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