Issue activity log

2018-11-05 14:02 Created Ctrl+Shift+Alt-? keyboard shortcuts for extensions where not working
Component GUI
Version 5.14 beta
Severity Enhancement
Comment See Issue 1613
2018-11-05 14:04 Version 5.14 beta
Comment Fixed.
2018-11-05 14:05 Severity Enhancement → Bug
Status RESOLVED
Fixed in 5.14.2
Resolution FIXED
2018-11-05 14:35 Version 5.8.3 RC
2018-11-05 14:36 Summary Ctrl+Shift+Alt-? keyboard shortcuts for custom commands and extensions wherewere not working
2018-11-05 14:38 Fixed in 5.14.2 → 5.13.5
2018-11-06 08:06 Comment Commit 3e7789ca
Commit 917744be