Processed: Re: Bug#702257: apt-setup: new preseed option to disable CDROM entries at the end of the install

To: Raphael Hertzog <hertzog@debian.org>
Cc: debian-boot@lists.debian.org
Subject: Processed: Re: Bug#702257: apt-setup: new preseed option to disable CDROM entries at the end of the install
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Thu, 10 Sep 2015 15:51:04 +0000
Message-id: <[🔎] handler.s.B702257.144190013927198.transcript@bugs.debian.org>
References: <[🔎] 20150910154846.GA2168@home.ouaza.com> <20130304152727.4708.3415.reportbug@x230-buxy.home.ouaza.com>

Processing control commands:

> tag -1 + pending
Bug #702257 [apt-setup] apt-setup: new preseed option to disable CDROM entries at the end of the install
Added tag(s) pending.

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

Reply to:

References:
- Bug#702257: apt-setup: new preseed option to disable CDROM entries at the end of the install
  - From: Raphael Hertzog <hertzog@debian.org>

Prev by Date: Bug#702257: apt-setup: new preseed option to disable CDROM entries at the end of the install
Next by Date: Processed: Re: Bug#652987: the cdrom path is not disabled in sources.list
Previous by thread: Bug#702257: apt-setup: new preseed option to disable CDROM entries at the end of the install
Next by thread: Bug#652987: the cdrom path is not disabled in sources.list
Index(es):
- Date
- Thread