Processing commands for control@bugs.debian.org: > tags 700418 + pending Bug #700418 [src:linux] vmlinux debuginfo is not in kdump-tools search path Ignoring request to alter tags of bug #700418 to the same tags previously set > thanks Stopping processing here. Please contact me if you need assistance. -- 700418: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=700418 Debian Bug Tracking System Contact owner@bugs.debian.org with problems