Subject: bug#64440: 30.0.50; [PATCH] Highlight on non toolkit menu bar items

From: Po Lu <[email-masked]>
Date: Fri, 27 Oct 2023 16:18:56 +0800

Manuel Giraud <[email-masked]> writes:

> Hi Po,
>
> Do you think that you could commit it on master?
>
> Thanks,

I was awaiting comments from Eli and Stefan.  To them: does this meet
with your approbation?  If so, I will commit this to master.