Oct. 6, 2013
10:02 a.m.
Thanks, that patch looks good, and I merged it with the other changes I made and pushed it into the experimental version on github.