This is certainly a nice change – thanks for tackling it. Would love to see a pull request (or if you want to send a git diff that could also work).
On Sun, Jun 8, 2014 at 4:55 AM, Ivar Nesje <iva...@gmail.com> wrote: > The easiest way for everybody is if you just open a Pull Request on github > where you link to the places this has previously been discussed. The test > suite will then automatically be runned on Travis, and it will be > reasonably easy for everyone interested to checkout your branch and give > feedback. > > If you really don't want to deal with github it is also possible to > publish the patch somewhere else, and hope someone else open a Pull Request > based in that. It is much less likely to get attention that way though. >