Mon, 03 Aug 2020 16:32:23 +0200 Edouard Tisserant SVGHMI: prefer apply_hmi_value() to change_hmi_value() when possible svghmi