@jupyter-widgets/jupyterlab-manager@0.37.2
bd85bb4e · Merge pull request #2178 from blink1073/jupyterlab-manager-bump · Aug 18, 2018