Processing commands for control@bugs.debian.org: > merge 457775 521417 Bug#457775: message: kernel BUG a mm/rmap.c:522! Bug#521417: kernel: Kernel BUG at mm/rmap.c:522 Merged 457775 521417. > End of message, stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)