Update username
in connecting to a workspace documenation (using JetBrains Gateway)#3746
Merged
ammario merged 2 commits intocoder:mainfrom Aug 30, 2022
matifali:patch-2
Commits
Commits on Aug 30, 2022
- authored