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

[Chris Lamb]

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
       `-