Formatting tweak

This commit is contained in:
Maxime Coste 2017-06-29 09:31:02 +01:00
parent eb2984807c
commit 620e718087