Bug#961299: [PATCH] Don't run dh_strip on vmlinuz

2020-05-26 Thread Ben Hutchings
On Mon, 2020-05-25 at 22:06 +0200, Helge Deller wrote: > The debian kernel build switched to use debhelper > compatibility level 12 with this commit: > > commit 59a5af36cbf1cc01ef48b91719f999a699d99fab > Author: Ben Hutchings > Date: Sun Apr 19 19:49:03 2020 +0100 > debhelper started

Bug#961299: [PATCH] Don't run dh_strip on vmlinuz

2020-05-25 Thread Helge Deller
The debian kernel build switched to use debhelper compatibility level 12 with this commit: commit 59a5af36cbf1cc01ef48b91719f999a699d99fab Author: Ben Hutchings Date: Sun Apr 19 19:49:03 2020 +0100 debhelper started complaining about level 9, so it's time to upgrade again. This change