Processing commands for cont...@bugs.debian.org: > severity 847652 wishlist Bug #847652 [nvidia-kernel-dkms] nvidia-kernel-dkms fails to compile for rt-kernel 4.8.0-1-rt Bug #848005 [nvidia-kernel-dkms] nvidia-driver: nvidia-drm.ko don't build with rt kernel Severity set to 'wishlist' from 'important' Severity set to 'wishlist' from 'important' > tags 847652 patch Bug #847652 [nvidia-kernel-dkms] nvidia-kernel-dkms fails to compile for rt-kernel 4.8.0-1-rt Bug #848005 [nvidia-kernel-dkms] nvidia-driver: nvidia-drm.ko don't build with rt kernel Added tag(s) patch. Added tag(s) patch. > retitle 847652 rt_mutex_destroy is GPL_ONLY unlike mutex_destroy, breaks > non-GPL modules Bug #847652 [nvidia-kernel-dkms] nvidia-kernel-dkms fails to compile for rt-kernel 4.8.0-1-rt Bug #848005 [nvidia-kernel-dkms] nvidia-driver: nvidia-drm.ko don't build with rt kernel Changed Bug title to 'rt_mutex_destroy is GPL_ONLY unlike mutex_destroy, breaks non-GPL modules' from 'nvidia-kernel-dkms fails to compile for rt-kernel 4.8.0-1-rt'. Changed Bug title to 'rt_mutex_destroy is GPL_ONLY unlike mutex_destroy, breaks non-GPL modules' from 'nvidia-driver: nvidia-drm.ko don't build with rt kernel'. > reassign 847652 linux-image-4.9.0-1-rt-amd64 Bug #847652 [nvidia-kernel-dkms] rt_mutex_destroy is GPL_ONLY unlike mutex_destroy, breaks non-GPL modules Bug #848005 [nvidia-kernel-dkms] rt_mutex_destroy is GPL_ONLY unlike mutex_destroy, breaks non-GPL modules Bug reassigned from package 'nvidia-kernel-dkms' to 'linux-image-4.9.0-1-rt-amd64'. Bug reassigned from package 'nvidia-kernel-dkms' to 'linux-image-4.9.0-1-rt-amd64'. No longer marked as found in versions nvidia-graphics-drivers/375.20-4. No longer marked as found in versions nvidia-graphics-drivers/375.20-4. Ignoring request to alter fixed versions of bug #847652 to the same values previously set Ignoring request to alter fixed versions of bug #848005 to the same values previously set > thanks Stopping processing here.
Please contact me if you need assistance. -- 847652: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=847652 848005: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=848005 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
