[geany/geany] 55aea4: Merge pull request #3187 from techee/docbook_leak