[Commit-gnuradio] git://gnuradio.org/gnuradio branch, test/undo-pmt-deleter, deleted. v3.5.3-3-g973f1fa

[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, test/undo-pmt-deleter has been deleted
       was  973f1fad7b4ebda925d391e87afc483d69625c4a

-----------------------------------------------------------------------
973f1fad7b4ebda925d391e87afc483d69625c4a Revert "pmt: added advanded 
pmt_set_deleter (c++ only)"
-----------------------------------------------------------------------


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