On Wed, Jun 9, 2010 at 6:07 AM, Martin DvH <gnuradiom...@olifantasia.com> 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 Discuss-gnuradio@gnu.org http://lists.gnu.org/mailman/listinfo/discuss-gnuradio