Re: [Discuss-gnuradio] Is gnuradio.org down?

[Jim Simpson]

Thanks!

Jim

On Tue, Jun 21, 2011 at 5:29 PM, Johnathan Corgan <address@hidden> wrote:

On Tue, Jun 21, 2011 at 14:05, Jim Simpson <address@hidden> 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:

http://50.19.239.22/redmine

Johnathan