Small formatting change

And then we can merge
This commit is contained in:
Gennadiy Civil
2018-08-16 15:10:07 -04:00
committed by GitHub
parent 8c86040dd6
commit b1bfdf0bf4