--
You received this message because you are subscribed to the Google Groups "leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/leo-editor/9ff143ca-69cc-4808-b456-84c209610b4an%40googlegroups.com.
--
You received this message because you are subscribed to the Google Groups "leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/leo-editor/e32a31a3-39c6-428c-8be4-41bdca60ed6fn%40googlegroups.com.
The script 'mypy_leo' is reporting an error again on Fedora Linux 44.
On Sat, Aug 1, 2026 at 5:34 AM Viktor Ransmayr wrote:The script 'mypy_leo' is reporting an error again on Fedora Linux 44.Thanks for your continued testing. Ville has submitted two related PRs (one a subset of the other). Both are now part of "devel".
--
You received this message because you are subscribed to the Google Groups "leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/leo-editor/bd8ebc3c-678d-4ae5-a43d-97cca5380d7bn%40googlegroups.com.
It didn't fail in ci or for me, but here's a pr that simplifies the type: https://github.com/leo-editor/leo-editor/pull/4838
Hello Edward & Ville,
Script 'full_test_leo' is now running w/o any errors on Debian 13 & Fedora 44.Thanks a lot !