Edouard Tisserant <edouard.tisserant@gmail.com> [Mon, 02 Oct 2023 16:21:54 +0200] rev 3852
Tests: better font for OCR in svghmi_basic
Edouard Tisserant <edouard.tisserant@gmail.com> [Mon, 02 Oct 2023 14:25:02 +0200] rev 3851
Runtime: fix non-interleaved worker loop
Edouard Tisserant <edouard.tisserant@gmail.com> [Fri, 29 Sep 2023 13:46:36 +0200] rev 3850
Win32 rutime: fix PLC Stop freezing
Edouard Tisserant <edouard.tisserant@gmail.com> [Fri, 29 Sep 2023 13:45:50 +0200] rev 3849
Fix untested code in worker.py...