Subject: Re: bug#69941: 30.0.50; Faulty fontification of radio button widgets

From: Eli Zaretskii <[email-masked]>
Date: Wed, 05 Feb 2025 15:10:16 +0200

> From: Stefan Monnier <[email-masked]>
> Cc: Mauro Aranda <[email-masked]>,  [email-masked],
>   [email-masked]
> Date: Sun, 02 Feb 2025 18:28:39 -0500
> 
> > Stefan, any further comments, or should we install this?
> 
> We can install this, AFAIC.

Thanks, installed on the master branch, and closing the bug.