On Sat, Aug 03, 2024 at 01:52:47AM +0200, Johannes Schauer Marin Rodrigues wrote: > according to Ben [1] this should disable the rt build and it mostly does but > the package linux-headers-*-common-rt will still be built.
No bug in Debian, as we don't push this modification to Debian. But fixed in https://salsa.debian.org/kernel-team/linux/-/merge_requests/1154 Bastian -- We have found all life forms in the galaxy are capable of superior development. -- Kirk, "The Gamesters of Triskelion", stardate 3211.7
