<div dir="auto"><div>+1 thanks.</div><div dir="auto"><br></div><div dir="auto">... I'll have to do this with the external tools plugin as well ;)</div><div dir="auto"><br></div><div dir="auto">Greetings</div><div dir="auto">Dominik<br><br><div class="gmail_quote" dir="auto"><div dir="ltr" class="gmail_attr">Christoph Cullmann <<a href="mailto:christoph@cullmann.io">christoph@cullmann.io</a>> schrieb am Di., 16. Juli 2019, 09:37:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
>> Would that be ok?<br>
>> <br>
>> Greetings<br>
>> Christoph<br>
>> <br>
> That's fine by me, assuming that does not prohibit making some<br>
> (backwards incompatible) changes to behavior and/or configuration<br>
> as/when things may evolve in such a way (but presumably ok for only on<br>
> master and not released yet) ...<br>
<br>
that will be no issues. It is normal to mature things in master<br>
and the next release is far off. And even after it got released,<br>
incompatible changes are possible, if necessary.<br>
<br>
Thanks, will enable it then!<br>
<br>
Greetings<br>
Christoph<br>
<br>
-- <br>
Ignorance is bliss...<br>
<a href="https://cullmann.io" rel="noreferrer noreferrer" target="_blank">https://cullmann.io</a> | <a href="https://kate-editor.org" rel="noreferrer noreferrer" target="_blank">https://kate-editor.org</a><br>
</blockquote></div></div></div>