Processed: Re: Bug#603107: cdrom: grub does not add other OS to list

To: Steve McIntyre <steve@einval.com>
Cc: Debian CD-ROM Team <debian-cd@lists.debian.org> (cdrom for {603107}), Debian Install Team <debian-boot@lists.debian.org> (installation-reports for {603107})
Subject: Processed: Re: Bug#603107: cdrom: grub does not add other OS to list
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Fri, 12 Nov 2010 16:24:05 +0000
Message-id: <[🔎] handler.s.C.128957891325698.transcript@bugs.debian.org>
In-reply-to: <[🔎] 20101112162032.GD19018@einval.com>
References: <[🔎] 20101112162032.GD19018@einval.com>

Processing commands for control@bugs.debian.org:

> reassign 603107 installation-reports
Bug #603107 [cdrom] cdrom: grub does not add other OS to list
Bug reassigned from package 'cdrom' to 'installation-reports'.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
603107: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=603107
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#603107: cdrom: grub does not add other OS to list
  - From: Steve McIntyre <steve@einval.com>

Prev by Date: Bug#603107: cdrom: grub does not add other OS to list
Next by Date: Re: Bug#589477: Jigdo search still broken.
Previous by thread: Bug#603107: cdrom: grub does not add other OS to list
Next by thread: Re: Jigdo search still broken.
Index(es):
- Date
- Thread