<div dir="auto"><div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Marco van de Voort <<a href="mailto:fpc@pascalprogramming.org">fpc@pascalprogramming.org</a>> schrieb am Sa., 18. Mai 2019, 19:56:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
Op 2019-05-18 om 19:10 schreef Martin:<br>
> See the list below. I wonder if they could be merged?<br>
<br>
If Sven sees no problems ( just say the word), and I'll merge them.<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">No problems from my side :) </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>