On Fri, Jun 5, 2020 at 9:34 AM Sebastian Huber
<[email protected]> wrote:
>
> Ok.
>
Thanks. Pushed to master.
_______________________________________________
devel mailing list
[email protected]
http://lists.rtems.org/mailman/listinfo/devel

Reply via email to