Processed: Re: Bug#923910: sources.list: indexes after main are not downloaded

To: "Adam D. Barratt" <adam@adam-barratt.org.uk>
Cc: deity@lists.debian.org
Subject: Processed: Re: Bug#923910: sources.list: indexes after main are not downloaded
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Thu, 07 Mar 2019 09:12:08 +0000
Message-id: <[🔎] handler.s.B923910.15519497114690.transcript@bugs.debian.org>
References: <[🔎] 10156b51c5797d9ea5170834b77550b3@mail.adam-barratt.org.uk> <[🔎] 155192466296.27144.12426220806519192405.reportbug@almursi36>

Processing control commands:

> tags -1 + moreinfo unreproducible
Bug #923910 [apt] sources.list: indexes after main are not downloaded
Added tag(s) unreproducible and moreinfo.

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

Reply to:

References:
- Bug#923910: sources.list: indexes after main are not downloaded
  - From: "Adam D. Barratt" <adam@adam-barratt.org.uk>
- Bug#923910: sources.list: indexes after main are not downloaded
  - From: Yasin Delgado <yasinmurcia@gmail.com>

Prev by Date: Bug#923910: sources.list: indexes after main are not downloaded
Next by Date: Bug#923910: sources.list: indexes after main are not downloaded
Previous by thread: Bug#923910: sources.list: indexes after main are not downloaded
Next by thread: Bug#923910: sources.list: indexes after main are not downloaded
Index(es):
- Date
- Thread