Re: [Bison-Announce] Bison 3.7.5 released

On 1/29/21 9:19 AM, Frank Heckenbach wrote:
> BTW, you might want to change this to https (at least in the
> generated output); the server does a redirect to https now, anyway:

Thanks for pointing this out. I went through the bison sources and 
changed http: to https: where warranted, shortening a few when I could. 
I also fixed a few no-longer-working URLs while I was at it. I'm 
attaching the patch I installed, compressed to save space.