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

From: Mauro Aranda <[email-masked]>
Date: Mon, 24 Feb 2025 19:58:16 -0300

No further comments in two weeks, so I installed the fix.