Thu, 18 Jun 2020 14:16:19 +0200 Edouard Tisserant SVGHMI: Fix bug introduced when merging default svghmi