bug#65466: Something from recent commits is broken.

[Simon Tournier]

Hi,

On dim., 29 oct. 2023 at 19:30, Apoorv <apoorvs...@gmail.com> wrote:
> The issue is fixed and can be closed.

Thanks.  So closing.

Cheers,
simon