Processed: Re: Bug#538665: debian-policy: "Info documents" section is outdated

To: Sven Joachim <svenjoac@gmx.de>
Cc: Debian Policy List <debian-policy@lists.debian.org> (debianpolicy for {538665,534638})
Subject: Processed: Re: Bug#538665: debian-policy: "Info documents" section is outdated
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sun, 26 Jul 2009 08:57:05 +0000
Message-id: <[🔎] handler.s.C.124859842818833.transcript@bugs.debian.org>
In-reply-to: <[🔎] 87skgjrfjc.fsf@turtle.gmx.de>
References: <[🔎] 87skgjrfjc.fsf@turtle.gmx.de>

Processing commands for control@bugs.debian.org:

> merge 534638 538665
Bug#534638: debian-policy: Section about Info documents needs to be updated
Bug#538665: debian-policy: "Info documents" section is outdated
Merged 534638 538665.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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

Reply to:

References:
- Bug#538665: debian-policy: "Info documents" section is outdated
  - From: Sven Joachim <svenjoac@gmx.de>

Prev by Date: Bug#538665: debian-policy: "Info documents" section is outdated
Next by Date: Bug#538665: debian-policy: "Info documents" section is outdated
Previous by thread: Bug#538665: debian-policy: "Info documents" section is outdated
Next by thread: fullbacking
Index(es):
- Date
- Thread