Skip to content

Remove unncessary use of RPCProtocol. Fixes #11970#11972

Merged
paul-marechal merged 1 commit intoeclipse-theia:masterfrom tsmaeder:11970_use_channelJan 9, 2023

Commits

Commits on Dec 8, 2022