Open hbcarlos opened 1 year ago
Fixes https://github.com/jupyter-server/jupyter_ydoc/pull/158#discussion_r1165169514
This PR will introduce a bug in Jupyter-collaboration as described in https://github.com/jupyter-server/jupyter_ydoc/pull/158#discussion_r1165423747. To fix it, we need https://github.com/y-crdt/ypy-websocket/pull/86 and the corresponding changes in jupyter-collaboration.
Fixes https://github.com/jupyter-server/jupyter_ydoc/pull/158#discussion_r1165169514
This PR will introduce a bug in Jupyter-collaboration as described in https://github.com/jupyter-server/jupyter_ydoc/pull/158#discussion_r1165423747. To fix it, we need https://github.com/y-crdt/ypy-websocket/pull/86 and the corresponding changes in jupyter-collaboration.