@jupyter-notebook/docmanager-extension@7.5.1
09f0f85e · Publish 7.5.1 ·