Wed, 13 May 2020 18:47:09 +0200SVGHMI: explicit handling of undefined maximum widget update frequency svghmi
Edouard Tisserant <edouard.tisserant@gmail.com> [Wed, 13 May 2020 18:47:09 +0200] rev 2960
SVGHMI: explicit handling of undefined maximum widget update frequency