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

From: Stephen Berman <[email-masked]>
Date: Tue, 25 Feb 2025 10:12:38 +0100

On Mon, 24 Feb 2025 23:20:05 -0500 Stefan Monnier <[email-masked]> wrote:

>> No further comments in two weeks, so I installed the fix.
>
> Thanks, Mauro!

Yes, thanks much for the fix(es) and feedback!

Steve Berman