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.