On 02/18/2012 01:01 PM, John Coppens wrote:
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
It seems to have been a transient, because 20 minutes after I posted, it
was back again.
My panic was clearly premature.
--
Marcus Leech
Principal Investigator
Shirleys Bay Radio Astronomy Consortium
http://www.sbrac.org
_______________________________________________
Discuss-gnuradio mailing list
Discuss-gnuradio@gnu.org
https://lists.gnu.org/mailman/listinfo/discuss-gnuradio