Skip to content

Fix case-sensitivity in user mention commands#211

Merged
brichet merged 2 commits intojupyterlab:mainfrom
brichet:fix_user_mention
Apr 17, 2025

Commits

Commits on Apr 16, 2025