[Commit-gnuradio] git://gnuradio.org/gnuradio branch, wip/pmt-set-deleter, deleted. 3.6.0git-27-g0d81abb

[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, wip/pmt-set-deleter has been deleted
       was  0d81abb8f06563e31279d458f6726ec0760ca0ae

-----------------------------------------------------------------------
0d81abb8f06563e31279d458f6726ec0760ca0ae pmt: added advanded pmt_set_deleter 
(c++ only)
-----------------------------------------------------------------------


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