That should maybe be in global one too. However, typically it's unusual to submit a pull-request for such things. Then again, it's not my project (I'm just trying to see if I can get the PRs in order and perhaps try and release 1.10 myself).