A sane fix: https://github.com/balister/GNU-Radio/commit/fd21bd2c74677d2c1722bc585ccdeaf1522e0d59
Philip _______________________________________________ Patch-gnuradio mailing list Patch-gnuradio@gnu.org https://lists.gnu.org/mailman/listinfo/patch-gnuradio
