dead servers

Chris Johns chrisj at rtems.org
Thu Oct 19 05:38:41 UTC 2017


On 19/10/2017 16:12, groups at 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



More information about the users mailing list