[Commit-gnuradio] git://gnuradio.org/gnuradio branch, next, deleted. v3.5.0git-2-g9b58dc9

[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, next has been deleted
       was  9b58dc91c0bf5a87128a24d8e22a8e19aa974c9f

-----------------------------------------------------------------------
9b58dc91c0bf5a87128a24d8e22a8e19aa974c9f cmake: make python checks optional for 
cross builds
-----------------------------------------------------------------------


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