Re: [Bison-Announce] Bison 3.7.5 released
Akim Demaille <[email protected]> Sat, 30 Jan 2021 07:41:54 +0100
| Newsgroups | gmane.comp.parsers.bison.bugs |
|---|---|
| Message-ID | <[email protected]> |
> Le 29 janv. 2021 à 22:51, Paul Eggert <[email protected]> a écrit : > > 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. Big job! Thanks a lot Paul!