Test against pycrdt-websocket v0.16.0 & update dev dependencies#339
Merged
krassowski merged 6 commits intojupyter-server:mainfrom Nov 15, 2025
Merged
pycrdt-websocket v0.16.0 & update dev dependencies#339