Subject: Re: bug#35418: [PATCH] Don't poll auto-revert files that use notification

From: Eli Zaretskii <[email-masked]>
Date: Wed, 08 May 2019 20:24:59 +0300

> From: Mattias Engdegård <[email-masked]>
> Date: Wed, 8 May 2019 16:13:37 +0200
> Cc: Michael Albinus <[email-masked]>, [email-masked]
> 
> >> If it's all the same to you, I'd like to keep it separate.
> > 
> > I don't understand why: the change as it is looks a bit unclean to me,
> > whereas the effort to make it cleaner and more future-proof is not a
> > substantial one.
> 
> How about dropping the Dired special case for the time being?

That's too drastic, IMO.  Feel free to push the original patch.

Thanks.