Your message dated Wed, 15 Jan 2020 06:40:06 +0100 with message-id <87pnfle0qx.fsf@marxist.se> and subject line Re: bug#3456: 23.0.94; character duplicated when input with MS Japanese IME has caused the debbugs.gnu.org bug report #3456, regarding 23.0.94; character duplicated when input with MS Japanese IME to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 3456: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3456 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems