Mon, 03 Aug 2020 16:32:23 +0200SVGHMI: prefer apply_hmi_value() to change_hmi_value() when possible svghmi
Edouard Tisserant <edouard.tisserant@gmail.com> [Mon, 03 Aug 2020 16:32:23 +0200] rev 3000
SVGHMI: prefer apply_hmi_value() to change_hmi_value() when possible