Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bump pycrdt-websocket v0.14.0 #320

Merged

Conversation

davidbrochart
Copy link
Collaborator

No description provided.

Copy link
Contributor

Binder 👈 Launch a Binder on branch davidbrochart/jupyter_collaboration/pycrdt-websocket-v0.14.0

@davidbrochart davidbrochart force-pushed the pycrdt-websocket-v0.14.0 branch from a504f23 to 1b65de1 Compare June 25, 2024 13:04
@davidbrochart davidbrochart force-pushed the pycrdt-websocket-v0.14.0 branch from 1b65de1 to 30affd9 Compare June 25, 2024 13:11
@davidbrochart davidbrochart merged commit 86ef807 into jupyterlab:main Jun 26, 2024
20 checks passed
@davidbrochart davidbrochart deleted the pycrdt-websocket-v0.14.0 branch June 26, 2024 07:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant