Minor style fix.

This commit is contained in:
Oliver Schmidt
2016-08-10 11:38:11 +02:00
committed by GitHub
parent f9482a1b72
commit 22d1f1da1b