Thu, 18 Jun 2020 11:00:26 +0200Merge default changes in SVGHMI svghmi
Edouard Tisserant [Thu, 18 Jun 2020 11:00:26 +0200] rev 2982
Merge default changes in SVGHMI