Linux kernel bug fix: kbuild: fix kernel-devel RPM package and linux-headers Deb package
Subsystem: scripts (scripts/package/install-extmod-build)
Bug type: unknown, severity: unknown
Files changed: scripts/package/install-extmod-build
Introduced by Masahiro Yamada on 2023-07-25 00:59:32 +0900; fixed by Masahiro Yamada on 2023-09-15 02:39:24 +0900 (lifetime: 52 days)