Your message dated Tue, 01 Jan 2002 06:16:45 +0530 with message-id <87u1u6vqx6.fsf@gmail.com> and subject line Re: bug#13890: 24.3.50; Killing of ediff control panel doesn't clean up ediff overlays in buffer has caused the debbugs.gnu.org bug report #13890, regarding 24.3.50; Killing of ediff control panel doesn't clean up ediff overlays in buffer to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 13890: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=13890 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems