Processed: Re: Bug#861436: debian-cd: Should recommend wget, used when using DI_WWW_HOME.

To: Steve McIntyre <steve@einval.com>
Cc: debian-cd@lists.debian.org
Subject: Processed: Re: Bug#861436: debian-cd: Should recommend wget, used when using DI_WWW_HOME.
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sat, 29 Apr 2017 09:42:03 +0000
Message-id: <[🔎] handler.s.B861436.149345881516916.transcript@bugs.debian.org>
References: <[🔎] 20170429092210.GO28360@einval.com> <[🔎] 87a870dmdm.fsf@aikidev.net>

Processing control commands:

> tag -1 +pending
Bug #861436 [debian-cd] debian-cd: Should recommend wget, used when using DI_WWW_HOME.
Added tag(s) pending.

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

Reply to:

References:
- Bug#861436: debian-cd: Should recommend wget, used when using DI_WWW_HOME.
  - From: Steve McIntyre <steve@einval.com>
- Bug#861436: debian-cd: Should recommend wget, used when using DI_WWW_HOME.
  - From: Vagrant Cascadian <vagrant@debian.org>

Prev by Date: Bug#861436: debian-cd: Should recommend wget, used when using DI_WWW_HOME.
Next by Date: Bug#860971: [installation cds] Outdated installation-guide in stretch rc3 cds
Previous by thread: Bug#861436: debian-cd: Should recommend wget, used when using DI_WWW_HOME.
Index(es):
- Date
- Thread