On 20 February 2018 at 01:52, Chris Johns <chr...@rtems.org> wrote:

> I have pushed this.
>
> Would it be possible to get a patch for the documentation?
>
​Yes, sure. I just overlooked that. Thanks for reminding. (patch should be
included in my previous message)

--
Best regards,
MK
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel

Reply via email to