Skip to content

Conversation

krassowski
Copy link
Collaborator

Follow-up to #197

@krassowski krassowski added the enhancement New feature or request label Aug 7, 2024
Copy link
Collaborator

@davidbrochart davidbrochart left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@davidbrochart davidbrochart merged commit 8fbbd69 into jupyter-server:main Aug 7, 2024
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants