{2023.06}[SYSTEM] code-server 4.100.2#1183

PetrKralCZ wants to merge 4 commits intoEESSI:mainEESSI/software-layer:mainfrom

PetrKralCZ:2023.06-code-serverPetrKralCZ/software-layer:2023.06-code-serverCopy head branch name to clipboard