GDB13 fails to build on MacOS using supplied GNU Bison 2.3

[Torbjorn SVENSSON]

On 2023-09-17 03:21, Tom Tromey wrote:
>>> Yes, that's plenty, thank you.
>>> I'll check the patch in soon.
> 
> Torbjorn> Let me know if you want me to push the patch (with you as co-author).
> 
> I did it that day.
> 
> Tom

Thank you Tom!