Fri, 09 Aug 2019 12:12:24 +0200SVGHMI: little fixes to make the build go through svghmi
Edouard Tisserant [Fri, 09 Aug 2019 12:12:24 +0200] rev 2754
SVGHMI: little fixes to make the build go through