|
From: | Paul Eggert |
Subject: | Re: [Bison-Announce] Bison 3.7.5 released |
Date: | Fri, 29 Jan 2021 13:51:34 -0800 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.6.1 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |