Your message dated Tue, 21 Feb 2012 21:41:58 -0500
with message-id <c0zkcbd1xl.fsf@xxxxxxxxxxxxxxxxx>
and subject line Re: bug#5841: 23.1.95; bad mouse bindings for Info mode line
node name
has caused the debbugs.gnu.org bug report #5841,
regarding 23.1.95; bad mouse bindings for Info mode line node name
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@xxxxxxxx)


--
5841: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=5841
GNU Bug Tracking System
Contact help-debbugs@xxxxxxx with problems