Your message dated Fri, 15 Nov 2013 10:34:31 +0530 with message-id <87iovujlwg.fsf@gmail.com> and subject line Re: bug#15312: Info (point-entered, point-left): Doc incomplete, hence incorrect has caused the debbugs.gnu.org bug report #15312, regarding Info (point-entered, point-left): Doc incomplete, hence incorrect to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 15312: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=15312 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems