Re: [Discuss-gnuradio] www.gnuradio.org (and git) is down

[Marcus D. Leech]

On 02/18/2012 01:01 PM, John Coppens wrote:
> On Sat, 18 Feb 2012 12:09:46 -0500
> Tom Rondeau<address@hidden>  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
> address@hidden
> 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