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

To: 538665@bugs.debian.org
Subject: Bug#538665: debian-policy: "Info documents" section is outdated
From: Sven Joachim <svenjoac@gmx.de>
Date: Sun, 26 Jul 2009 10:53:43 +0200
Message-id: <[🔎] 87skgjrfjc.fsf@turtle.gmx.de>
Reply-to: Sven Joachim <svenjoac@gmx.de>, 538665@bugs.debian.org
In-reply-to: <[🔎] 87zlarrg6v.fsf@turtle.gmx.de> (Sven Joachim's message of "Sun, 26 Jul 2009 10:39:36 +0200")
References: <[🔎] 87zlarrg6v.fsf@turtle.gmx.de>

merge 534638 538665
thanks

Uh, somehow I missed #534638.  Sorry for the noise.

Embarrassed,
Sven

Reply to:

Follow-Ups:
- Processed: Re: Bug#538665: debian-policy: "Info documents" section is outdated
  - From: owner@bugs.debian.org (Debian Bug Tracking System)

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