Re: dead servers

2017-10-18 Thread Chris Johns
On 19/10/2017 16:12, gro...@chichak.ca wrote: > devel.rtems.org is dead and the ones that are referred to in source builder. Thanks. I have fixed it. It should be on line now. Chris ___ users mailing list users@rtems.org

Re: dead servers

2017-10-18 Thread groups
devel.rtems.org is dead and the ones that are referred to in source builder. A > On 2017-October-18, at 23:10, Chris Johns wrote: > > On 19/10/2017 15:55, gro...@chichak.ca wrote: >> I was trying to get the 4.12 tools working but some of the rtems.org >>