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.
