Subject: Re: bug#15687: 24.3.50; custom themes: disabling does not restore initial configuration

From: Stefan Monnier <[email-masked]>
Date: Tue, 26 Nov 2013 15:16:28 -0500

>> and the settings were apparently properly reset.  Do you have a recipe
>> that triggers the problem?
> You skipped the first part:

Maybe I did, but I have a limited amount of time.  So if you don't want
to give me an actual detailed recipe I can't help you.

        Stefan