Updated bootstrap.bat runs well on my Windows 11 laptop. Thank You. Il giorno sab 31 dic 2022 alle ore 22:15 Paul Smith <psm...@gnu.org> ha scritto:
> On Mon, 2022-12-26 at 09:34 -0500, Paul Smith wrote: > Anyway I pushed a fix to bootstrap.bat that hopefully avoids the issue. > I was still not ever able to reproduce the original failure on the > Windows systems I have access to so I can't test it directly. > -- il riposo dopo il lavoro