[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: maint: gram: fix handling of nterms in actions when some are unused
Re: maint: gram: fix handling of nterms in actions when some are unused (was: symbol type issue with unused non-terminals)
Sun, 3 Feb 2019 14:33:23 +0100
> Le 2 févr. 2019 à 17:27, Akim Demaille <address@hidden> a écrit :
> How about the appended commit? I will push it to the maint branch once the
> CI okay'ed it. Please, confirm that it addresses your issue. Then I'll
> release 3.3.2 (today or tomorrow).
I'm rolling the release, as I don't think I will have time to spend on this
next week. I'm fairly confident I fixed the bug you reported, but who knows :(
Please try 3.3.2 when it's out, and let us know.