I don't see that anyone has made any PRs there. You could force push a change to master and that will surely get it.