Processed: Re: Bug#682347: mark 'editor' virtual package name as obsolete

To: Russ Allbery <rra@debian.org>
Cc: debian-policy@lists.debian.org
Subject: Processed: Re: Bug#682347: mark 'editor' virtual package name as obsolete
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Thu, 24 Aug 2017 06:06:06 +0000
Message-id: <[🔎] handler.s.B682347.150355460622567.transcript@bugs.debian.org>
References: <[🔎] 87mv6pijtg.fsf@hope.eyrie.org> <20120721211608.7609.12675.reportbug@localhost>

Processing control commands:

> tags -1 patch
Bug #682347 [debian-policy] mark 'editor' virtual package name as obsolete
Added tag(s) patch.

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

Reply to:

References:
- Bug#682347: mark 'editor' virtual package name as obsolete
  - From: Russ Allbery <rra@debian.org>

Prev by Date: Bug#872808: [debian-policy] nocheck DEB_BUILD_OPTIONS DEB_BUILD_PROFILES
Next by Date: Bug#682347: mark 'editor' virtual package name as obsolete
Previous by thread: Bug#682347: mark 'editor' virtual package name as obsolete
Next by thread: Bug#682347: mark 'editor' virtual package name as obsolete
Index(es):
- Date
- Thread