[stable21] fix: rich workspaces overlap with new file dropdown#1770
Merged
juliusknorr merged 1 commit intostable21from Oct 6, 2021
Merged
[stable21] fix: rich workspaces overlap with new file dropdown#1770juliusknorr merged 1 commit intostable21from
juliusknorr merged 1 commit intostable21from
Commits
Commits on Oct 5, 2021
- authored andcommitted
