Processed: Re: Bug#781696: [PATCH] apt-key del keyid is case sensitive

To: David Kalnischkies <david@kalnischkies.de>
Cc: deity@lists.debian.org
Subject: Processed: Re: Bug#781696: [PATCH] apt-key del keyid is case sensitive
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Thu, 09 Apr 2015 10:36:07 +0000
Message-id: <[🔎] handler.s.B781696.14285756535602.transcript@bugs.debian.org>
References: <[🔎] 20150409103407.GA15491@crossbow> <[🔎] 336ce7bde3ad227cd3aa2683a3863fdd@hcoop.net>

Processing control commands:

> tags -1 - jessie sid
Bug #781696 [apt] apt-key del keyid is case sensitive
Removed tag(s) sid and jessie.
> found -1 0.9.10
Bug #781696 [apt] apt-key del keyid is case sensitive
Marked as found in versions apt/0.9.10.

-- 
781696: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=781696
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#781696: [PATCH] apt-key del keyid is case sensitive
  - From: David Kalnischkies <david@kalnischkies.de>
- Bug#781696: apt-key del keyid is case sensitive
  - From: Nathan Kennedy <ntk@hcoop.net>

Prev by Date: Bug#781696: [PATCH] apt-key del keyid is case sensitive
Next by Date: Bug#781696: [PATCH] apt-key del keyid is case sensitive
Previous by thread: Processed: [PATCH] apt-key del keyid is case sensitive
Next by thread: Bug#781696: marked as done (apt-key del keyid is case sensitive)
Index(es):
- Date
- Thread