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

Reply via email to