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
