Wed, 30 Sep 2020 12:31:59 +0200Merge two different heads svghmi
usveticic [Wed, 30 Sep 2020 12:31:59 +0200] rev 3061
Merge two different heads

Thu, 24 Sep 2020 15:42:40 +0200SVGHMI: Documentation fix svghmi
Edouard Tisserant [Thu, 24 Sep 2020 15:42:40 +0200] rev 3060
SVGHMI: Documentation fix