Your message dated Mon, 18 Oct 2010 23:35:07 +0200 with message-id and subject line Re: 23.0.60; Edit menu missing in Gnus buffers. has caused the GNU bug report #2031, regarding 23.0.60; Edit menu missing in Gnus buffers. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 2031: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=2031 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems