Re: Problems with latest CVS.

[Luc Teirlinck]

If we go for my patch, we could also delete `auto-revert-list-diff'
and `auto-revert-dired-file-list', which are no longer used.

It should be noted that neither the original version nor my patch
automatically update a dired buffer in _all_ situations where updating
might yield _some_ new information.  My patch updates automatically in
exactly the same situations where dired warns that the directory needs
updating after one revisits an obsolete dired buffer, except that it
does no automatic updating if the dired buffer is modified (not to
derail dired-undo and the like).

Sincerely,

Luc.