There are millions of these. Writing code to detect duplicates would help, but in the meantime here's a ticket that can be referenced whenever duplicate hotkeys are fixed.
Marking this as easy because while removing all duplicate hotkeys is hard, fixing ones which have been discovered is pretty straightforward.
I've improved the lint-raws.pl script to detect these, so now we have a list!
The list below is current as of dd1119906e97e0ab4e03d539cf70c65515359ca1.
There are millions of these. Writing code to detect duplicates would help, but in the meantime here's a ticket that can be referenced whenever duplicate hotkeys are fixed.
Marking this as easy because while removing all duplicate hotkeys is hard, fixing ones which have been discovered is pretty straightforward.
I've improved the lint-raws.pl script to detect these, so now we have a list!
The list below is current as of dd1119906e97e0ab4e03d539cf70c65515359ca1.