Your message dated Sun, 22 Dec 2019 11:56:17 +0000 with message-id and subject line Re: bug#1453: 23.0.60; Dead keys do not work in dired and similar modes in Cocoa port has caused the debbugs.gnu.org bug report #1453, regarding 23.0.60; Dead keys do not work in dired and similar modes in Cocoa port to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 1453: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=1453 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems