On 02/18/2012 01:01 PM, John Coppens wrote:
On Sat, 18 Feb 2012 12:09:46 -0500
Tom Rondeau<[email protected]> 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
[email protected]
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
[email protected]
https://lists.gnu.org/mailman/listinfo/discuss-gnuradio
