Closed krassowski closed 1 year ago
Let's merge this (I don't have access / rights to merge)
@krassowski wanted to ask what needs to be done to put lumino with #560 merged into jupyterlab? Is it something like lumino new release --> update jupyterlab dependencies?
Yes. We have a few another PR on lumino which could be included in a new release.
Fixes https://github.com/jupyterlab/jupyterlab/issues/14219