On 26/7/19 10:25 am, Chris Johns wrote:
> I will post a patch to devel with a tested fix ...

https://lists.rtems.org/pipermail/devel/2019-July/026845.html
https://lists.rtems.org/pipermail/build/2019-July/002884.html

The test results look OK.

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

Reply via email to