Re: Forthcoming Bison 3.7

[email protected] Tue, 16 Jun 2020 18:57:38 -0400

Newsgroups	gmane.comp.parsers.bison.patches
Message-ID	<[email protected]>

Hey Akim,

I can do that, I’ll try to get it done this week.

~Vincent

> On Jun 16, 2020, at 2:19 AM, Akim Demaille <[email protected]> wrote:
> 
> Hi Vincent,
> 
> I think the 3.7 release is getting close.  I'm not fully done with the changes I would like to have in the reports, but these improvements can be brought in future releases.
> 
> Yet we have to write the documentation and the NEWS entry for -Wcounterexamples.  Would you like to do that?  If you do, please note that there is a References section in the documentation.
> 
> Cheers!