[Commit-gnuradio] git://gnuradio.org/jblum branch, cross_work, deleted. 47c95d4ed3be7c4072cb9badbf2895bbe65c1e22

[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/jblum".

The branch, cross_work has been deleted
       was  47c95d4ed3be7c4072cb9badbf2895bbe65c1e22

-----------------------------------------------------------------------
47c95d4ed3be7c4072cb9badbf2895bbe65c1e22 grc: only perform python checks when 
not building cross
-----------------------------------------------------------------------


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