Edouard Tisserant [Fri, 25 Nov 2022 11:12:14 +0100] rev 3702
SVGHMI: fix double-dispatch happening when using low widget update frequency on variable already being updated with high frequency by other widgets.
Edouard Tisserant <edouard.tisserant@gmail.com> [Thu, 15 Dec 2022 14:55:30 +0100] rev 3701
Merge
Edouard Tisserant <edouard.tisserant@gmail.com> [Thu, 15 Dec 2022 14:54:05 +0100] rev 3700
Backed out changeset ddadbdf20e70, no effect on current problem.
etisserant <edouard.tisserant@gmail.com> [Tue, 13 Dec 2022 22:04:16 +0100] rev 3699
GH CI: try reverting to previous version of ubuntu