<div dir="auto"><div><div class="gmail_quote"><div dir="ltr">Bart <<a href="mailto:bartjunk64@gmail.com">bartjunk64@gmail.com</a>> schrieb am Do., 26. Apr. 2018, 19:29:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Is this a bug, or was it changed by design?<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">It's a bug due to refactoring. I'll commit the fix once I got to run the testsuite. </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>