[Commit-gnuradio] git://gnuradio.org/jcorgan branch, wip/digital-rm-next, deleted. 3.6.1git-80-g0c5b464

[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/jcorgan".

The branch, wip/digital-rm-next has been deleted
       was  0c5b464bf8cd97023d8ced153d14229186b23e8e

-----------------------------------------------------------------------
0c5b464bf8cd97023d8ced153d14229186b23e8e core: remove gr_diff_encoder and 
gr_diff_decoder after move to gr-digital
-----------------------------------------------------------------------


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