Processed: Re: Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT

To: Christoph Anton Mitterer <calestyo@gmail.com>
Cc: debian-devel@lists.debian.org
Subject: Processed: Re: Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Wed, 11 Feb 2015 05:30:16 +0000
Message-id: <[🔎] handler.s.C.142363244223374.transcript@bugs.debian.org>
References: <[🔎] 1423632431.4751.38.camel@gmail.com>

Processing commands for control@bugs.debian.org:

> reopen 777643
Bug #777643 {Done: Ben Hutchings <ben@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 owner@bugs.debian.org with problems

Reply to:

References:
- Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
  - From: Christoph Anton Mitterer <calestyo@gmail.com>

Prev by Date: Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
Next by Date: Re: Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
Previous by thread: Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
Next by thread: Re: Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
Index(es):
- Date
- Thread