Closed techee closed 3 months ago
This is a preparation in case https://github.com/geany/geany/pull/3861 gets merged in Geany.
This is a preparation in case https://github.com/geany/geany/pull/3861 gets merged in Geany.