<div dir="ltr"><div class="gmail_default" style="font-family:monospace,monospace;font-size:small"><br></div><div class="gmail_extra"><div class="gmail_quote">On 20 February 2018 at 01:52, Chris Johns <span dir="ltr"><<a href="mailto:chrisj@rtems.org" target="_blank">chrisj@rtems.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I have pushed this.<br>
<br>
Would it be possible to get a patch for the documentation?<br></blockquote><div><br></div><div class="gmail_default" style="font-family:monospace,monospace;font-size:small">​Yes, sure. I just overlooked that. Thanks for reminding. (patch should be included in my previous message)</div><div class="gmail_default" style="font-family:monospace,monospace;font-size:small"><br></div><div class="gmail_default" style="font-family:monospace,monospace;font-size:small">--</div><div class="gmail_default" style="font-family:monospace,monospace;font-size:small">Best regards,</div><div class="gmail_default" style="font-family:monospace,monospace;font-size:small">MK</div></div></div></div>