The change looks sane. Only Kovid has commit rights. You can create a branch for him to pull from on github to commit the change or ask him to make it for you since it's a single line.
The change looks sane. Only Kovid has commit rights. You can create a branch for him to pull from on github to commit the change or ask him to make it for you since it's a single line.