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

[Mattias Engdegård]

27 apr. 2019 kl. 18.52 skrev Eli Zaretskii <eliz@gnu.org>:
> 
> w32notify cannot watch a single file, because the Windows notification
> machinery is directory-oriented, and reports all changes in the
> directory.

Right; thanks for the correction.

Here is an updated patch. There is a new variable, `auto-revert-always-poll', 
which is t by default.
There is also a note in etc/NEWS. Does it merit a mention in the manual as well?

0001-Don-t-poll-auto-revert-files-that-use-notification.patch
Description: Binary data