Subject: Re: bug#57639: [PATCH] Add new command 'toggle-theme'
From: Philip Kaludercic <[email-masked]>
To: Mauro Aranda <[email-masked]>
Cc: Lars Ingebrigtsen <[email-masked]>, Eli Zaretskii <[email-masked]>, Protesilaos Stavrou <[email-masked]>, [email-masked]
Date: Sat, 15 Oct 2022 15:24:45 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Philip Kaludercic <[email-masked]> writes:

> Here is the updated patch:

As there have been no objections I've pushed the changes.