Merge with genie/master You can view, comment on, or merge this pull request online at:
https://github.com/geany/geany/pull/1903
-- Commit Summary --
* Merge pull request #1 from geany/master
-- File Changes --
-- Patch Links --
https://github.com/geany/geany/pull/1903.patch https://github.com/geany/geany/pull/1903.diff
Closed #1903.
github-comments@lists.geany.org