Processing commands for cont...@bugs.debian.org:
> reopen 777643
Bug #777643 {Done: Ben Hutchings <b...@decadent.org.uk>} [general] general:
possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of
U+00B7 MIDDLE DOT
Bug reopened
Ignoring request to alter fixed versions of bug #777643 to the same values
previously set
> stop
Stopping processing here.
Please contact me if you need assistance.
--
777643: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=777643
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive:
https://lists.debian.org/handler.s.c.142363244223374.transcr...@bugs.debian.org
