Re: bison-master

[Rob Vermaas]

Hi Akim,

> Not really, I need to find some time to look at this properly and fix
> it. I expect it to be fixed before the end of the week.

I have added a short-term fix that seems to have resolved the issue.
Please let me know if something goes wrong again.

Cheers,
Rob