Update to 0.23.1

jupyterlab/_version.py

@@ -1,2 +1,2 @@
-version_info = (0, 23, 0)
+version_info = (0, 23, 1)
 __version__ = ".".join(map(str, version_info))

jupyterlab/package.app.json

@@ -82,6 +82,6 @@
       "@jupyterlab/tooltip-extension"
     ],
     "name": "JupyterLab",
-    "version": "0.23.0"
+    "version": "0.23.1"
   }
 }

jupyterlab/package.json

@@ -82,6 +82,6 @@
       "@jupyterlab/tooltip-extension"
     ],
     "name": "JupyterLab",
-    "version": "0.23.0"
+    "version": "0.23.1"
   }
 }