<div dir="auto"><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, 7 Sep 2019, 22:20 Florian Klämpfl, <<a href="mailto:florian@freepascal.org">florian@freepascal.org</a>> wrote:</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Thanks for the analysis, I fixed it already, see r42938.<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">That was quick, thank you. </div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
</blockquote></div></div></div>