Subject: Re: bug#70358: ERC not changing to buffers
From: "J.P." <[email-masked]>
To: [email-masked]
Cc: Rahul Martim Juliato <[email-masked]>, [email-masked]
Date: Tue, 23 Apr 2024 15:37:49 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

The bug reporter has contacted me off-list and considers the issue resolved.
Thanks and closing.