Bug#877023: debian-policy: No section numbers in policy.txt.gz

To: 877023@bugs.debian.org
Subject: Bug#877023: debian-policy: No section numbers in policy.txt.gz
From: Olly Betts <olly@survex.com>
Date: Wed, 27 Sep 2017 21:42:48 +0100
Message-id: <[🔎] 20170927204248.GS21642@survex.com>
Reply-to: Olly Betts <olly@survex.com>, 877023@bugs.debian.org
In-reply-to: <handler.877023.B.150654467810299.ack@bugs.debian.org>
References: <[🔎] 150654467002.11859.14956582466153384643.reportbug@gemse.localnet> <handler.877023.B.150654467810299.ack@bugs.debian.org> <[🔎] 150654467002.11859.14956582466153384643.reportbug@gemse.localnet>

Control: forcemerge 872868 877023

Sorry, I failed to spot the existing report.

Cheers,
    Olly

Reply to:

References:
- Bug#877023: debian-policy: No section numbers in policy.txt.gz
  - From: Olly Betts <olly@survex.com>