I don't see this commit in github, are you holding off on pushing until after this pull request is accepted?