Thu, 18 Jun 2020 14:18:40 +0200merged svghmi
Edouard Tisserant [Thu, 18 Jun 2020 14:18:40 +0200] rev 2985
merged

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