Subject: Re: bug#8371: auto-revert-mode check

From: Glenn Morris <[email-masked]>
Date: Thu, 13 Jun 2013 12:27:49 -0400

Version: 24.3

File time stamps are higher resolution now, so between that and
improvements to reverting, whatever issue there was here is probably
fixed.