1. 2019-08-05 [haiku-bugs] Re: [Haiku] #12544: Shortcuts broken haiku-bug Haiku 2. 2015-12-24 [haiku-bugs] Re: [Haiku] #12544: Shortcuts broken haiku-bug michel 3. 2015-12-24 [haiku-bugs] Re: [Haiku] #12544: Shortcuts broken haiku-bug diver 4. 2015-12-23 [haiku-bugs] [Haiku] #12544: Shortcuts broken haiku-bug michel