global-auto-revert mode doesn't revert fully

["Luke Blanshard" <luke@quiq.com>]

This bug report will be sent to the Free Software Foundation,
not to your local site managers!
Please write in English, because the Emacs maintainers do not have
translators to read other languages for them.

Your bug report will be posted to the bug-gnu-emacs@gnu.org mailing list,
and to the gnu.emacs.bug news group.

In GNU Emacs 21.2.1 (i686-pc-linux-gnu, X toolkit, Xaw3d scroll bars)
 of 2002-05-07 on scratchy.west.quiq.com
Important settings:
  value of $LC_ALL: nil
  value of $LC_COLLATE: nil
  value of $LC_CTYPE: nil
  value of $LC_MESSAGES: nil
  value of $LC_MONETARY: nil
  value of $LC_NUMERIC: nil
  value of $LC_TIME: nil
  value of $LANG: en_US
  locale-coding-system: iso-latin-1
  default-enable-multibyte-characters: t

Please describe exactly what actions triggered the bug
and the precise symptoms of the bug:

1. Turn on global-auto-revert-mode.
2. Open a CVS-controlled file in Emacs.
3. Do a CVS update outside of Emacs that brings out a newer version of
   the file.
4. Emacs will revert the contents of the buffer, but not the version
   number (as displayed in the mode line).  If you do any VC
   operations from within Emacs against that file, the VC commands
   will use the original version of the file as if it was current.


Recent input:
+ + _ - + - + l l j a <return> C-x k C-g C-x C-f ? 
C-g j A <return> - - - - - - - s C-x C-b n SPC C-x 
k <return> <C-M-next> <C-M-prior> <switch-frame> <help-echo> 
<help-echo> <help-echo> <help-echo> <help-echo> <help-echo> 
<help-echo> <help-echo> <help-echo> <help-echo> <help-echo> 
<help-echo> <help-echo> C-h P C-s a u t o C-s C-s C-s 
C-s C-s C-s C-s C-s C-s C-s C-s C-s C-s C-s - r e v 
C-s C-a M-< C-s r e v e r t C-s C-a q <help-echo> <help-echo> 
<help-echo> <help-echo> <help-echo> <help-echo> <menu-bar> 
<help-menu> <report-emacs-bug>

Recent messages:
Wrote /export/home/luke/.todo-do
 [3 times]
Type C-x 1 to remove  *todo tmp* window.  M-C-v to scroll the help.
Wrote /export/home/luke/.todo-top
<<< Press Return to bury the buffer list >>>

Type C-h for help, h for commands, q to quit.
Mark saved where search started
Mark set
Mark saved where search started