Merge pull request #7181 from neheb/patch-45
authorHannu Nyman <redacted>
Sun, 28 Oct 2018 12:25:18 +0000 (14:25 +0200)
committerGitHub <redacted>
Sun, 28 Oct 2018 12:25:18 +0000 (14:25 +0200)
cmdpad: Fix compile


Trivial merge
git clone https://git.99rst.org/PROJECT