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

Thanks!

Jim

On Tue, Jun 21, 2011 at 5:29 PM, Johnathan Corgan <jcorgan@corganenterprises.com> wrote:

On Tue, Jun 21, 2011 at 14:05, Jim Simpson <jasimpson@gmail.com> 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