gnuradio/gnuradio — pull request #100 by n-west (2013-11-04 21:58:23+00:00)
Title: West coverity

rebased to maint.