gwern0:

On Thu, Apr 15, 2010 at 11:09 AM, Gwern Branwen wrote:

...

On Tue, Apr 6, 2010 at 6:45 AM, Daniel Schoepe wrote:

...

Excerpts from Gwern Branwen's message of Mon Apr 05 20:00:59 +0200 2010:

...

On Wed, Mar 24, 2010 at 9:25 AM, Gwern Branwen wrote:

...

Does anyone have any feedback on this patch? It's been hanging around for months now.

Ping.

The problem probably won't happen very often, but it happened to someone in #xmonad at least once and I don't see any downsides to applying the patch.

Thoughts?

Ping. This is a core patch, so only you 2 can apply it.

I'm here.