<div dir="auto"><div><div class="gmail_quote"><div dir="ltr">Am Mi., 6. Feb. 2019, 11:27 hat Luca Olivetti <<a href="mailto:luca@ventoso.org">luca@ventoso.org</a>> geschrieben:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Of course I cannot reproduce the issue with a simpler test program :-/<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">Without a way to test it I can't do anything. So either you need to find the issue yourself or you need to manage to create a simpler example. </div><div dir="auto"><br></div><div dir="auto">Regards, </div><div dir="auto">Sven </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>