Re: [Github-comments] [geany/geany-plugins] commander: use new plugin API. (#703)