On 20 February 2018 at 01:52, Chris Johns <[email protected]> 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 [email protected] http://lists.rtems.org/mailman/listinfo/devel
