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