
6 Apr
2010
6 Apr
'10
6:45 a.m.
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.