Shameless bump, anyone to review this UserManual patch ?<br><br><div class="gmail_quote">2011/5/1 Matthieu Monrocq <span dir="ltr"><<a href="mailto:matthieu.monrocq@gmail.com">matthieu.monrocq@gmail.com</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Hello,<br><br>this is a small patch to the UserManual page which adds the new option to show the diagnostic name.<br><br>
Please review.<br><font color="#888888">Matthieu.<br>
</font></blockquote></div><br>