Merge pull request #8768 from neheb/cmd
authorRosen Penev <rosenp@gmail.com>
Thu, 25 Apr 2019 02:30:49 +0000 (19:30 -0700)
committerGitHub <noreply@github.com>
Thu, 25 Apr 2019 02:30:49 +0000 (19:30 -0700)
[18.06] cmdpad: Fix compile


Trivial merge