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 <sk...@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 ow...@bugs.debian.org with problems