Subject: Re: bug#34847: 27.0.50; auto-revert-buffers occasionally selects a killed buffer

From: "Basil L. Contovounesios" <[email-masked]>
Date: Sat, 06 Apr 2019 14:42:34 +0100

tags 34847 fixed
close 34847
quit

Michael Albinus <[email-masked]> writes:

> "Basil L. Contovounesios" <[email-masked]> writes:
>
>> Works for me; I hope to see it land soon.  See also my other message for
>> a related but more subtle problem: https://debbugs.gnu.org/34847#16
>
> Eli has already confirmed your approach, so you might commit it (and
> close the bug then).

Pushed to master and closing this bug.

Thanks,

-- 
Basil