gnuradio/gnuradio — pull request #99 by n-west (2013-11-04 07:33:35+00:00)
Title: West coverity

Just a some coverity fixes. They are all removing unused members.