Minor cosmetic changes
Passed
Ernesto Rico Schmidt
created pipeline for commit
be367088
, finished
For master
7 minutes 4 seconds, queued for 3 seconds