Subject: Re: bug#76235: [PATCH] Improve prompt for 'project-switch-project'
From: Dmitry Gutov <[email-masked]>
To: Ship Mints <[email-masked]>
Cc: [email-masked], Juri Linkov <[email-masked]>
Date: Thu, 13 Feb 2025 00:37:15 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

On 12/02/2025 22:34, Ship Mints wrote:
> That looks nice. Revised patch attached.

Thanks, pushed to master, 86e17fbcbddb, with minor touches (using 
'format-message', commit message changes).