This issue was discussed on #gnuradio today, and https://github.com/gnuradio/gnuradio/pull/1425 was created to solve it.
-- Happy hacking Petter Reinholdtsen
This issue was discussed on #gnuradio today, and https://github.com/gnuradio/gnuradio/pull/1425 was created to solve it.
-- Happy hacking Petter Reinholdtsen