Subject: Re: bug#56155: 29.0.50; Options menu, toggle menu items not updated

From: Gerd Möllmann <[email-masked]>
Date: Sat, 18 May 2024 08:31:12 +0200

Lars Ingebrigtsen <[email-masked]> writes:

> Gerd Möllmann <[email-masked]> writes:
>
>> I think the bug can be closed, but I don't see how I could do that.
>> Or maybe I can't and shouldn't, I don't know.
>
> You can close the bug by sending a mail to [email-masked],
> but there still seems to be discussions about more general ways to fix
> this...

Nothing seems have come out the discussions, so I'm closing this.