Wed, 04 Oct 2023 16:24:00 +0200Merge python3
Edouard Tisserant <edouard.tisserant@gmail.com> [Wed, 04 Oct 2023 16:24:00 +0200] rev 3854
Merge

Tue, 03 Oct 2023 21:33:13 +0200Tests: more OCR tuning
Edouard Tisserant <edouard.tisserant@gmail.com> [Tue, 03 Oct 2023 21:33:13 +0200] rev 3853
Tests: more OCR tuning

Mon, 02 Oct 2023 16:21:54 +0200Tests: better font for OCR in svghmi_basic
Edouard Tisserant <edouard.tisserant@gmail.com> [Mon, 02 Oct 2023 16:21:54 +0200] rev 3852
Tests: better font for OCR in svghmi_basic