<div dir="auto"><div>Hi <span style="font-family:sans-serif">Jürgen,</span></div><div dir="auto"><font face="sans-serif"><br></font><div class="gmail_extra" dir="auto"><div class="gmail_quote">On 19/02/2018 09:18, "<span style="font-family:sans-serif">Jürgen</span> E. Fischer" </div><div class="gmail_quote" dir="auto"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="quoted-text">
<br>
</div>Wasn't just in the message - the typo is fixed in r41535.<br><br></blockquote></div><br></div><div class="gmail_extra" dir="auto">Thanks. Make sense now.</div><div class="gmail_extra" dir="auto"><br></div><div class="gmail_extra" dir="auto">Cheers</div><div class="gmail_extra" dir="auto">Jeremy</div></div></div>