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

From: Lars Ingebrigtsen <[email-masked]>
Date: Wed, 29 Jun 2022 12:16:38 +0200

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...

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no