Wed, 30 Sep 2020 12:31:59 +0200 usveticic Merge two different heads svghmi
Thu, 24 Sep 2020 15:42:40 +0200 Edouard Tisserant SVGHMI: Documentation fix svghmi