Package: ftp.debian.org Severity: normal All binary packages previously built by src:linux-tools have been taken over by src:linux (modulo changes to version numbers in their names).
Please take care to only close bugs assigned to src:linux-tools (there should only be one, #837015) and not to the binary packages. Ben.
