Re: [PATCH] Bad sed expression in bootstrap.bat

[Paul Smith]

On Mon, 2022-12-26 at 09:34 -0500, Paul Smith wrote:
> > If you do this with "echo", you don't need to worry about backslash
> > munging, I think, since cmd.exe's "echo" is very simple-minded, and
> > just blindly copies every character, including the quotes.
> 
> Oh... OK I will give this a try :).

I realized I must have already known this at some point and forgotten
it, since I used this method for other sed scripts in bootstrap.bat.

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.