Subject: bug#18958: 25.0.50; auto-revert-mode reacts slowly even if using an event-driven backend

From: Stefan Monnier <[email-masked]>
Date: Fri, 07 Nov 2014 15:01:23 -0500

> The issue is that auto-revert-mode reacts to modifications on a timer,
> even if its backend is event-driven. There is a prototype patch in that
> thread, attached here also.

The patch looks OK to me, tho please use defvar-local.

        Stefan