> Le 29 janv. 2021 à 22:51, Paul Eggert <egg...@cs.ucla.edu> 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!


Reply via email to