Changes:
- 8677995 "Merge Tagged PR 6598"
- 66fed9e Merge pull request #7348 from Morph1984/ci-disable-submodule-fetch
- 2054013 Merge pull request #7355 from german77/hotkey_spam
- 311324e hotkeys: Don't allow hotkeys to spam
- 16aa49d ci: Don't fetch submodules when fetching PRs
This list of changes was auto generated.