Re: Texinfo 7.0.93 pretest available

[Gavin Smith]

On Sun, Oct 08, 2023 at 04:42:05PM +0300, Eli Zaretskii wrote:
> The next set of problems is in install-info: the new code in this
> version fails to close files, and then Windows doesn't let us
> remove/rename them.  The result is that almost all the install-info
> tests fail with Permission denied.  The patch below fixes that:

Thanks, I've committed it.