Subject: Re: bug#76685: 30.1; custom--inhibit-theme-enable

From: Mauro Aranda <[email-masked]>
Date: Sun, 9 Mar 2025 09:27:00 -0300

close 76685 31.1
quit

On 9/3/25 07:24, Eli Zaretskii wrote:
 >> Date: Fri, 7 Mar 2025 08:47:20 -0300
 >> Cc: [email-masked], [email-masked]
 >> From: Mauro Aranda <[email-masked]>
 >>
 >>  > Since this has user-facing aspects, I think the effects of this 
change
 >>  > should be called out in NEWS.
 >>
 >> Makes sense.  Here's an updated patch.
 >
 > Thanks, LGTM.

Thanks.  I installed the patch, and with that I'm closing this bug
report.