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

[Mattias Engdegård]

5 maj 2019 kl. 10.22 skrev Michael Albinus <michael.albinus@gmx.de>:
> 
>> Nice, thank you! Does this mean that we can trust Tramp sufficiently
>> in this respect? That is, notifiers will either fail to be created,
>> fail with a 'stopped' event, or work.
> 
> Yes, I think so. Until the next bug report :-)

Good. I've pushed the manual update.

What remains is avoiding polling in global-auto-revert-mode. I'll send a patch 
soon.