Here in Germany it is available again; two hours ago it still was unreachable.
Ralph > -----Original Message----- > From: discuss-gnuradio-bounces+ralph=schmid....@gnu.org > [mailto:discuss-gnuradio-bounces+ralph=schmid....@gnu.org] On Behalf Of > M Dammer > Sent: Friday, October 04, 2013 10:42 AM > To: discuss-gnuradio@gnu.org > Subject: Re: [Discuss-gnuradio] GNURADIO.org down??? > > gnuradio.org still down here (Oct. 4th, 8:39 UTC). I can see that a whois > update has happened last night, so maybe DNS has to sync. > Mark > > > > _______________________________________________ > Discuss-gnuradio mailing list > Discuss-gnuradio@gnu.org > https://lists.gnu.org/mailman/listinfo/discuss-gnuradio _______________________________________________ Discuss-gnuradio mailing list Discuss-gnuradio@gnu.org https://lists.gnu.org/mailman/listinfo/discuss-gnuradio