bug#44502:

[Eli Zaretskii]

> Date: Fri, 19 Aug 2022 13:05:24 +0000
> Cc: andrei.elkin@pp.inet.fi, 44502@debbugs.gnu.org
> From: Alan Mackenzie <acm@muc.de>
> 
> I haven't been able to reproduce the bug, but understand fairly well what
> must have caused it.
> 
> I also haven't heard back from the OP since sending him a proposed patch
> last Sunday.
> 
> Since the patch is fairly simple and obvious, also non-dangerous, how
> about just installing it on the release branch?

Please go ahead and install.

Thanks.