Eli Zaretskii <eliz@gnu.org> writes:

>> From: Mauro Aranda <maurooaranda@gmail.com>
>> Date: Mon, 6 Jan 2020 11:55:16 -0300
>> Cc: ded-law@ddoherty.net
>>
>> One possible fix is to make the updating of custom-enabled-themes in
>> enable-theme side-effect free, as the attached patch does.
>
> Fine with me, thanks.

Great.  I'll wait for someone to push it.