[stable22] Additional checks for workspace controller#1885
Merged
juliusknorr merged 2 commits intostable22from Oct 6, 2021
Merged
[stable22] Additional checks for workspace controller#1885juliusknorr merged 2 commits intostable22from
juliusknorr merged 2 commits intostable22from
Commits
Commits on Oct 6, 2021
- authored andcommitted
- committed
![backportbot[bot]](https://avatars.githubusercontent.com/in/60201?v=4&size=32){kind=avatar}