On Wed, Jun 9, 2010 at 6:07 AM, Martin DvH <[email protected]> wrote: > The gnuradio.org server seems to be down. (9 Jun 2010) > > Even a ping times out.
Hmm...works for me in the US (Illinois). -- John Orlando CEO/System Architect Epiq Solutions www.epiq-solutions.com _______________________________________________ Discuss-gnuradio mailing list [email protected] http://lists.gnu.org/mailman/listinfo/discuss-gnuradio
