Processed: Re: release-notes: Assumes /etc/apt/sources.list is used (and not /etc/apt/sources.list.d/*.list or deb822) [general]

To: Paul Gevers <elbrus@debian.org>
Cc: debian-doc@lists.debian.org
Subject: Processed: Re: release-notes: Assumes /etc/apt/sources.list is used (and not /etc/apt/sources.list.d/*.list or deb822) [general]
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sun, 24 Mar 2019 19:39:02 +0000
Message-id: <[🔎] handler.s.B864017.15534561234172.transcript@bugs.debian.org>
References: <[🔎] ad37396d-6574-af7c-6b31-43e5c6cd4a07@debian.org> <149648373799.1707.17596479544756443579.reportbug@mangetsu.thykier.net>

Processing control commands:

> tags -1 patch
Bug #864017 [release-notes] release-notes: Assumes /etc/apt/sources.list is used (and not /etc/apt/sources.list.d/*.list or deb822) [general]
Added tag(s) patch.

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

Reply to:

References:
- Bug#864017: release-notes: Assumes /etc/apt/sources.list is used (and not /etc/apt/sources.list.d/*.list or deb822) [general]
  - From: Paul Gevers <elbrus@debian.org>

Prev by Date: Bug#864035: deb.debian.org should be used throughout
Next by Date: Bug#864017: release-notes: Assumes /etc/apt/sources.list is used (and not /etc/apt/sources.list.d/*.list or deb822) [general]
Previous by thread: Bug#864017: release-notes: Assumes /etc/apt/sources.list is used (and not /etc/apt/sources.list.d/*.list or deb822) [general]
Next by thread: Bug#864017: release-notes: Assumes /etc/apt/sources.list is used (and not /etc/apt/sources.list.d/*.list or deb822) [general]
Index(es):
- Date
- Thread