On Wed, Jan 31, 2024 at 01:27:04PM +0100, Enrico Forestieri wrote: > It is a mess and while adjusting a thing some other thing was breaking. I > don't plan to look further into it if simply shipping a patched getopt.py on > windows solves the problem ;) Enrico, can you commit this so we have testing for RC3? Pavel