Re: [PATCH v2] 5: Use a specific RTEMS tools version

[Chris Johns]

On 18/04/2018 15:51, Sebastian Huber wrote:
> Download via cgit archive.
> 
> Close #3403.

OK to push.

Thanks
Chris
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel