Wed, 04 Mar 2020 16:46:35 +0100 Edouard Tisserant SVGHMI: more whitespace fixes svghmi