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