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

Chris Johns chrisj at rtems.org
Wed Apr 18 05:53:07 UTC 2018


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

OK to push.

Thanks
Chris


More information about the devel mailing list