reassign 703280 src:linux-tools 3.8.2-1~experimental.1 quit Hi Bob,
Bob Bib wrote: > please include 'extract-vmlinux' script: > <linux_src_tree_root>/scripts/extract-vmlinux > in some Linux-related binary package; > it allows extraction of a plain vmlinux from a compressed Linux kernel image, > in an easy way. What do you use it for? Curious, Jonathan -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org