That commit is pushed, but as you can see, it only changes the rst file.