Subject: Re: bug#13560: 24.2.92; tabulated-list header buttons are broken

From: Stefan Monnier <[email-masked]>
Date: Wed, 30 Jan 2013 14:28:11 -0500

> The following change seems to not break any of bug 374, 12006, 12971,
> 12731, and to fix this bug; but I won't be surprised to hear that it
> breaks something else...

Sounds better than what we have now.

        Stefan "who hates unread-command-events"