On Thu, 11 Jul 2013, jida...@jidanni.org wrote: > BTW, one notes .old-dkms files are not cleaned up after their kernels > are gone...
I suggest you file a bug against dkms, then... But before you do that, make sure you _purged_ the kernels (not just removed them). -- "One disk to rule them all, One disk to find them. One disk to bring them all and in the darkness grind them. In the Land of Redmond where the shadows lie." -- The Silicon Valley Tarot Henrique Holschuh -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
