[Commit-gnuradio] git://gnuradio.org/gnuradio branch, runtime-gruel, deleted. v3.6.4.1-1032-g0801d67

[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, runtime-gruel has been deleted
       was  0801d677b68ccd265461bf2a6eb7a674d120721a

-----------------------------------------------------------------------
0801d677b68ccd265461bf2a6eb7a674d120721a docs: Updating sphinx docs.
-----------------------------------------------------------------------


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