Minor formatting fix

This commit is contained in:
jgromes 2019-12-09 20:22:44 +01:00
parent ae6ca75e6b
commit 16d599ec28