Your message dated Sun, 26 Nov 2017 15:02:27 -0800 with message-id <871skkr6d8.fsf@runbox.com> and subject line Re: bug#6415: [PATCH] fix edebug instrumentation of dotted pairs in macros has caused the debbugs.gnu.org bug report #6415, regarding 23.2; error: (invalid-read-syntax "Dotted spec required.") to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 6415: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=6415 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems