Well, it seems to be working here!
Martin Dvh wrote: > > The gnuradio.org server seems to be down. (9 Jun 2010) > > Even a ping times out. > > > Martin > > > _______________________________________________ > Discuss-gnuradio mailing list > [email protected] > http://lists.gnu.org/mailman/listinfo/discuss-gnuradio > > -- View this message in context: http://old.nabble.com/gnuradio.org-seems-to-be-down-tp28828846p28828897.html Sent from the GnuRadio mailing list archive at Nabble.com. _______________________________________________ Discuss-gnuradio mailing list [email protected] http://lists.gnu.org/mailman/listinfo/discuss-gnuradio
