Your message dated Thu, 15 Sep 2016 10:25:10 +0200 with message-id <87a8f9d0yh.fsf@gmx.de> and subject line Re: bug#20417: 25.0.50; frequent crashes with global-auto-revert-mode has caused the debbugs.gnu.org bug report #20417, regarding 25.0.50; frequent crashes with global-auto-revert-mode to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 20417: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=20417 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems