Bug#837033: RM: linux-tools -- ROM; replaced by linux source package

Hi Ben, Done. > Please take care to only close bugs assigned to src:linux-tools (there > should only be one, #837015) and not to the binary packages. Good point. ACK. Regards, -- ,''`. : :' : Chris Lamb `. `'` la...@debian.org / chris-lamb.co.uk `-

Bug#837033: RM: linux-tools -- ROM; replaced by linux source package

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