Processed: Re: Bug#433623: please allow comments in /etc/apt/preferences

To: martin f krafft <madduck@debian.org>
Cc: APT Development Team <deity@lists.debian.org>(apt #189866 #433623)
Subject: Processed: Re: Bug#433623: please allow comments in /etc/apt/preferences
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Wed, 18 Jul 2007 10:12:02 +0000
Message-id: <[🔎] handler.s.C.118475335515789.transcript@bugs.debian.org>
In-reply-to: <[🔎] 20070718100910.GA15593@piper.oerlikon.madduck.net>
References: <[🔎] 20070718100910.GA15593@piper.oerlikon.madduck.net>

Processing commands for control@bugs.debian.org:

> forcemerge 189866 433623
Bug#189866: Please allow '#' comments in /etc/apt/preferences
Bug#433623: please allow comments in /etc/apt/preferences
Forcibly Merged 189866 433623.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)

Reply to:

References:
- Re: Bug#433623: please allow comments in /etc/apt/preferences
  - From: martin f krafft <madduck@debian.org>

Prev by Date: Re: Bug#433623: please allow comments in /etc/apt/preferences
Next by Date: Processed: forcibly merging 374654 189866
Previous by thread: Re: Bug#433623: please allow comments in /etc/apt/preferences
Next by thread: Bug#433624: apt: please allow release pinning for suite and codename fields
Index(es):
- Date
- Thread