Fix a typo that confuses check-names.sh

This commit is contained in:
Janos Follath 2016-03-18 16:28:20 +00:00
parent 2e3aca2c9e
commit d75b782d0d