Skip to content

Fix leak when reconnecting to back end without reload. Fixes #13215#13250

Merged
tsmaeder merged 1 commit intoeclipse-theia:masterfrom tsmaeder:13215_socket_reconnect_leakJan 16, 2024
+51-26

Commits

Commits on Jan 9, 2024