[Discuss-gnuradio] gnuradio.org server appears to be down

The gnuradio.org server appears to have been down all of today--is
anyone fixing it?

--
Principal Investigator
Shirleys Bay Radio Astronomy Consortium
http://www.sbrac.org

_______________________________________________
Discuss-gnuradio mailing list
Discuss-gnuradio@gnu.org
http://lists.gnu.org/mailman/listinfo/discuss-gnuradio