<div dir="auto"><div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Thomas Kurz via fpc-pascal <<a href="mailto:fpc-pascal@lists.freepascal.org">fpc-pascal@lists.freepascal.org</a>> schrieb am Do., 8. Feb. 2024, 13:31:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello all,<br>
<br>
I'm unsure about whether or not to report this as a bug. Imho, it is a bug, but maybe there's a good reason to handle this.<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">Please report a bug.</div><div dir="auto"><br></div><div dir="auto">Regards, </div><div dir="auto">Sven </div></div>