Processing commands for control@bugs.debian.org: > # not a bug > notfound 759389 3.16-1~exp1 Bug #759389 [src:linux] linux: ppc64el: switch to vmlinuz (from vmlinux) No longer marked as found in versions linux/3.16-1~exp1. > thanks Stopping processing here. Please contact me if you need assistance. -- 759389: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=759389 Debian Bug Tracking System Contact owner@bugs.debian.org with problems