Subject: Re: bug#35755: auto-revert-buffers can cause error "Selecting deleted buffer"

From: Michael Albinus <[email-masked]>
Date: Thu, 16 May 2019 15:20:15 +0200

Paul Pogonyshev <[email-masked]> writes:

Hi Paul,

> Yes, it got fixed recently (I had a 'master' snapshot from a couple of
> months back). Sorry for the duplicate.

No problem, I'm merging this bug with bug#34847.

Best regards, Michael.