Processed: Re: Bug#895046: RM: vgabios -- ROM; an old not-used-anymore package
Processing control commands:
> retitle 745170 ITA: vgabios -- VGA BIOS software for the Bochs emulated VGA card
Bug #745170 [wnpp] O: vgabios -- VGA BIOS software for the Bochs and Qemu emulated VGA card
Changed Bug title to 'ITA: vgabios -- VGA BIOS software for the Bochs emulated VGA card' from 'O: vgabios -- VGA BIOS software for the Bochs and Qemu emulated VGA card'.
> owner 745170 !
Bug #745170 [wnpp] ITA: vgabios -- VGA BIOS software for the Bochs emulated VGA card
Owner recorded as Stephen Kitt <skitt@debian.org>.
> retitle 902221 Bochs should use SeaBIOS instead of VGABios
Bug #902221 [bochs] bochs: depends on vgabios which has been requested to be removed
Changed Bug title to 'Bochs should use SeaBIOS instead of VGABios' from 'bochs: depends on vgabios which has been requested to be removed'.
> severity 902221 wishlist
Bug #902221 [bochs] Bochs should use SeaBIOS instead of VGABios
Severity set to 'wishlist' from 'important'
--
745170: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=745170
902221: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=902221
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: