Re: [Github-comments] [geany/geany-plugins] workbench: fixed tag-manager warning. Fixes #713. (#715)