[Commit-gnuradio] git://gnuradio.org/gnuradio branch, maint, deleted. v3.6.1-18-g5a86cdf

[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 has been deleted
       was  5a86cdf58fb0284b5a3d8860170a1b27d910e727

-----------------------------------------------------------------------
5a86cdf58fb0284b5a3d8860170a1b27d910e727 core: only check for *.conf in prefs 
dir
-----------------------------------------------------------------------


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