Is gnuradio.org down?

luislavena · June 21, 2011, 11:23pm

Can someone hit restart?

Thanks,
Jim

hozer · June 21, 2011, 11:35pm

On Tue, Jun 21, 2011 at 14:05, Jim S. [email protected] wrote:

Hi is gnuradio.org down?

It seems to be a DNS issue, sometimes it resolves, sometimes it doesn’t.
Until it’s fixed, you can get to the site manually with:

Johnathan

hozer · June 24, 2011, 5:53pm

Thanks!
Jim

On Tue, Jun 21, 2011 at 5:29 PM, Johnathan C. <