Fix comment formatting to pacify check-names.sh

This commit is contained in:
Gilles Peskine 2018-04-18 16:05:29 +02:00
parent 92d66b88ae
commit 2e1934ac0c