Your message dated Mon, 17 Jun 2024 23:01:34 +0300 with message-id and subject line Re: bug#71604: diff--get-revision-properties calls set-auto-mode twice has caused the debbugs.gnu.org bug report #71604, regarding diff--get-revision-properties calls set-auto-mode twice to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 71604: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=71604 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems