Skip to content

Conversation

@3coins
Copy link
Collaborator

@3coins 3coins commented Oct 5, 2023

Backports #391 and #401.

@3coins 3coins added bug Bugs reported by users enhancement New feature or request maintenance Change related to maintenance of the repository labels Oct 5, 2023
@3coins 3coins marked this pull request as ready for review October 5, 2023 23:00
@3coins 3coins merged commit f306782 into jupyterlab:1.x Oct 5, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Bugs reported by users enhancement New feature or request maintenance Change related to maintenance of the repository

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants