Subject: Re: bug#236: Acknowledgement (apt: Old kernels are not auto-removed)

From: Bernard Rosset <[email-masked]>
Date: Sat, 8 Sep 2018 21:59:44 +0200

Not a bug: packages of old kernels were tagged as manually installed.
Resetting them to auto solved the problem.