Your message dated Mon, 13 Jan 2014 21:52:32 -0500 with message-id and subject line Re: bug#16410: 24.3.50; Edebug fails to remove overlay arrow when started from buffer with local overlay arrow, like *grep* has caused the debbugs.gnu.org bug report #16410, regarding 24.3.50; Edebug fails to remove overlay arrow when started from buffer with local overlay arrow, like *grep* to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 16410: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=16410 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems