I expect that pull request to be merged today or tomorrow.