Subject: bug#14140: 24.3.50; auto-revert-mode does not revert upon invocation

From: Michael Albinus <[email-masked]>
Date: Thu, 04 Apr 2013 21:22:35 +0200

[email-masked] (Óscar Fuentes) writes:

> Let me know if you are interested on running some experiment, obtaining
> traces, etc.

Not yet, I shall be able to reproduce it myself :-) I'll keep you
informed about progress.

Best regards, Michael.