Skip to content

Add check for user value in CollaboratorsPanel#383

Merged
davidbrochart merged 1 commit intojupyterlab:mainfrom
martinRenou:update_collaborator_typing
Oct 24, 2024
Merged

Add check for user value in CollaboratorsPanel#383
davidbrochart merged 1 commit intojupyterlab:mainfrom
martinRenou:update_collaborator_typing

Commits

Commits on Oct 24, 2024