Re: Renaming frontends/qt4 to frontends/qt ?

[Jean-Marc Lasgouttes]

Le 21/07/2019 à 12:37, Jürgen Spitzmüller a écrit :

Am Sonntag, den 21.07.2019, 12:34 +0200 schrieb Jean-Marc Lasgouttes:

Can you push please ?

Sure, done. The file was only renamed, right? No changes in content?

Thanks. That's perfect.

JMarc