Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Common: delete accidental dead branch (Coverity)
CID 135586 in widget_hotkey_list: logically dead code This code was added accidentally; it is both dead and unnecessary, and so was removed.
- Loading branch information