Closed krassowski closed 2 weeks ago
Fixes https://github.com/jupyterlab/jupyterlab/issues/16256
+ sync-labels: true
None
Thanks for making a pull request to jupyterlab! To try out this branch on binder, follow this link:
References
Fixes https://github.com/jupyterlab/jupyterlab/issues/16256
Code changes
User-facing changes
None
Backwards-incompatible changes
None