Great, thanks for taking care of that!
On Fri, Nov 8, 2013 at 8:03 AM, Jordan Zimmerman <[email protected] > wrote: > I think I have a solution. So, don’t worry about providing a patch. > > On Nov 7, 2013, at 7:16 PM, Robert Kanter <[email protected]> wrote: > > I’ll try to take a stab at a proper fix for it tomorrow. > > >
