Would someone like to commit this for me? On Sun, Jul 7, 2013 at 6:45 PM, Tristan Schmelcher <tristan_schmelcher at alumni.uwaterloo.ca> wrote: >> Here's an updated patch with that minor change. > > Bah, attached the old file by mistake. Here's the right one.