[stable25] Fix: Formatting help doesn't open on mobile#3058
Merged
juliusknorr merged 4 commits intostable25from Sep 27, 2022
Merged
[stable25] Fix: Formatting help doesn't open on mobile#3058juliusknorr merged 4 commits intostable25from
juliusknorr merged 4 commits intostable25from
Commits
Commits on Sep 27, 2022
- authored andcommitted

- authored andcommitted

- authored andcommitted

- committed