_______________________________________________ Devel mailing list -- devel@lists.geany.org To unsubscribe send an email to devel-le...@lists.geany.org
Is there any chance of approving and merging this pull request
https://github.com/geany/geany/pull/2220?
