hi pierre,
Am Sonntag, 9. September 2018, 13:47:42 CEST schrieb Pierre de Villemereuil:
> FYI the issue was indeed a bug in ktexteditor. I reported it here:
> https://bugs.kde.org/show_bug.cgi?id=398393
> and it was fixed by this commit:
> https://phabricator.kde.org/D15370
ah, great to know we
Dear all,
FYI the issue was indeed a bug in ktexteditor. I reported it here:
https://bugs.kde.org/show_bug.cgi?id=398393
and it was fixed by this commit:
https://phabricator.kde.org/D15370
Cheers,
Pierre
Le mardi 4 septembre 2018, 16:09:08 CEST Pierre de Villemereuil a écrit :
> Hi Meik,
>
>
