On Sat, Apr 11, 2009 at 9:21 AM, Gwern Branwen <gwern0 at gmail.com> wrote: > Are you volunteering to send a gitit patch? 'Cause that'd be nice! According to github jgm made that change about a day ago. -- --Max Battcher-- http://www.worldmaker.net/