@jupyter-notebook/docmanager-extension@7.2.0
30587b82 · Publish 7.2.0 ·