Widget to display users of a collaborative document#378
Closed
brichet wants to merge 2 commits intojupyterlab:mainfrom
Closed
Widget to display users of a collaborative document#378brichet wants to merge 2 commits intojupyterlab:mainfrom
brichet wants to merge 2 commits intojupyterlab:mainfrom
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}