Subject: bug#11459: 24.1.50; Loss of mouse support (and more?) in new Buffer Menu

From: Chong Yidong <[email-masked]>
Date: Sat, 12 May 2012 23:05:38 +0800

Fixed, thanks.  Next time, please just stick to facts in bug reports;
the moralizing about "a hammer is not our only tool" etc. is not
necessary.