Subject: bug#12864: 24.3.50; bad & confusing Customize `State' Menu behavior

From: Drew Adams <[email-masked]>
Date: Thu, 22 Oct 2020 08:51:10 -0700 (PDT)

Thanks for working on this, Mauro.
I haven't checked the fix, but I'm sure it's good.