On Sat, 18 Feb 2012 12:09:46 -0500 Tom Rondeau <t...@trondeau.com> wrote:
> It's working for me. No reset required. Try again. If redirecting is not enabled in the browser, it may not get to gnuradio.org. It seems www.gnuradio.org goes there through redirection. John _______________________________________________ Discuss-gnuradio mailing list Discuss-gnuradio@gnu.org https://lists.gnu.org/mailman/listinfo/discuss-gnuradio
