Hi Ivar, looks like Jake got to it first (probably because his previous change caused it).
Cheers! On Sat, Mar 7, 2015 at 4:48 AM, Ivar Nesje <[email protected]> wrote: > We're looking forward to merge your pull request on github when you have > time. Even the small fixes needs to be done, and the more people that feels > comfortable with the contribution process, the fewer bugs we'll have. > > Anyway's great to get feedback early so that annoying issues like that, > doesn't sneak into a release. Don't feel that you can't report an issue > without a fix.
