[Commit-gnuradio] git://gnuradio.org/gnuradio branch, maint-3.5.0, deleted. 3.5.1git-30-g963b3dd

[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, maint-3.5.0 has been deleted
       was  963b3dd91cd2204c601dc6325cc5b159e927054c

-----------------------------------------------------------------------
963b3dd91cd2204c601dc6325cc5b159e927054c Remove some more warnings. I'm 
probably being a bit OCD about these ones, but it makes the build output so 
much nicer...
-----------------------------------------------------------------------


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