[Commit-gnuradio] git://gnuradio.org/gnuradio branch, maint, deleted. v3.5.2.1-23-gaaa98c0

[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  aaa98c095a85724a8782a28717162c1d30d865c2

-----------------------------------------------------------------------
aaa98c095a85724a8782a28717162c1d30d865c2 gruel and howto: install gruel .i 
files in gruel dest. Howto will use that dir during build.
-----------------------------------------------------------------------


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