Re: [Bison-Announce] Bison 3.7.5 released

[Paul Eggert]

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.

0001-Update-URLs-to-prefer-https-to-http.patch.gz
Description: application/gzip