Closed jtpio closed 1 year ago
Fixes https://github.com/jupyterlab/extension-examples/issues/210
Opening this PR early to trigger CI.
Closing as done in #225
Fixes https://github.com/jupyterlab/extension-examples/issues/210
Opening this PR early to trigger CI.