Processed: Re: Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
Processing control commands:
> forwarded -1 https://bugs.freedesktop.org/show_bug.cgi?id=89092
Bug #777643 {Done: Osamu Aoki <osamu@debian.org>} [general] general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
Set Bug forwarded-to-address to 'https://bugs.freedesktop.org/show_bug.cgi?id=89092'.
--
777643: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=777643
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: