Re: pseudotty.c compilation error

[Bruno Haible via Bug reports for the GNU Texinfo documentation system]

Gavin Smith wrote:
> It should be fixed in commit 6e582db42d.

Confirmed: The CI reports no regressions, compared to the build two weeks ago.

Bruno