Merge pull request #429 from fanglingsu/issue-427
authorDaniel Carl <danielcarl@gmx.de>
Sat, 8 Jul 2017 21:20:04 +0000 (23:20 +0200)
committerGitHub <noreply@github.com>
Sat, 8 Jul 2017 21:20:04 +0000 (23:20 +0200)
Switch to numeric hint labeling for hint-keys beginning wiht '0'


Trivial merge