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!
