Re: Bison 3.7.1 released

[Akim Demaille]

> Le 3 août 2020 à 05:18, Richard Stallman <r...@gnu.org> a écrit :
> 
> Condolences on the new release ;-{.

Exactly :)  And unfortunately I already know there will be more bug fix 
releases :(