[PATCH 00/34] Windows non-stop mode

[Tom Tromey]

>>>>> "Pedro" == Pedro Alves <pedro@palves.net> writes:

Pedro> Thank you very much!  I will try to reproduce the issues and see if I can fix them.
Pedro> To understand whether non-stop or all-stop modes were being used in
Pedro> the tests used below -- was this with a Windows >= 10 machine or older Windows?

I think it is a "Windows 2019" machine, which searching tells me is
based on Windows 10.  I'm not sure I have access to anything older.

Tom