@jupyter-notebook/docmanager-extension@7.1.2
851a4bea · Publish 7.1.2 ·