On Sun, 14 Feb 2021 08:56:11 -0800 Richard Henderson <richard.hender...@linaro.org> wrote:
> What version of bison are you using? We were using a rather recent version of bison (3.7.5), but it's not strictly required. Fixed in v2. -- Alessandro Di Federico rev.ng
