Closed garrison closed 1 month ago
This is no longer necessary now that a release has been made which includes https://github.com/jupyter/jupyter-sphinx/pull/226.
This PR reverts #345.
This is no longer necessary now that a release has been made which includes https://github.com/jupyter/jupyter-sphinx/pull/226.
This PR reverts #345.