Subject: Re: bug#57639: [PATCH] Add new command 'toggle-theme'

From: Philip Kaludercic <[email-masked]>
Date: Sat, 15 Oct 2022 15:24:45 +0000

Philip Kaludercic <[email-masked]> writes:

> Here is the updated patch:

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