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 f3d889b430
commit 135bd480e0