Processed: Re: Bug#806164: installation-reports: jessie install on dell xps 13 9350 (grub-installer issues)

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing control commands:

> reassign -1 grub-installer 1.117
Bug #806164 [installation-reports] installation-reports: jessie install on dell xps 13 9350 (grub-installer issues)
Bug reassigned from package 'installation-reports' to 'grub-installer'.
Ignoring request to alter found versions of bug #806164 to the same values previously set
Ignoring request to alter fixed versions of bug #806164 to the same values previously set
Bug #806164 [grub-installer] installation-reports: jessie install on dell xps 13 9350 (grub-installer issues)
Marked as found in versions grub-installer/1.117.
> severity -1 important
Bug #806164 [grub-installer] installation-reports: jessie install on dell xps 13 9350 (grub-installer issues)
Severity set to 'important' from 'normal'
> retitle -1 grub-installer: too much hardcoding of device names, fails with /dev/nvme*
Bug #806164 [grub-installer] installation-reports: jessie install on dell xps 13 9350 (grub-installer issues)
Changed Bug title to 'grub-installer: too much hardcoding of device names, fails with /dev/nvme*' from 'installation-reports: jessie install on dell xps 13 9350 (grub-installer issues)'

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