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