Processing commands for control@bugs.debian.org: > # Automatically generated email from bts, devscripts version 2.9.3 > merge 304802 247765 Bug#247765: base system install: kernel menu should offer to not install any kernel Bug#304802: install no kernel image Merged 247765 304802. > End of message, stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)