Big thanks to Andrej Rode for fixing this. The plugin we were using had some issues, which he resolved.
You can now use your github credentials to log in to https://wiki.gnuradio.org. Cheers, Martin _______________________________________________ Discuss-gnuradio mailing list Discuss-gnuradio@gnu.org https://lists.gnu.org/mailman/listinfo/discuss-gnuradio
