OSDN Git Service

Merge pull request #2787 from xingjiapeng/geany-patch
authormgt <mgt@oi-wiki.org>
Tue, 10 Nov 2020 04:33:09 +0000 (12:33 +0800)
committerGitHub <noreply@github.com>
Tue, 10 Nov 2020 04:33:09 +0000 (12:33 +0800)

Trivial merge