Update appearance of keyboard shortcut tooltips #6234
Triggered via pull request
November 5, 2023 20:08
janfaracik
janfaracik
synchronize
#8435
Status
Success
Total duration
12s
Artifacts
–