linux-purge

  1. Bug #1865158
  2. Comment #21

Comment 21 for bug 1865158

Revision history for this message
Chris White (whitecf) wrote :

"... Have you used some other tool to remove kernels besides linux-purge?"

Just the Linux Mint "Update Manager", mintUpdate 5.3.2.5, as linux-purge wasn't removing anything.