Processed: reassign 847652

[Debian Bug Tracking System]

Processing commands for control at 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 owner at bugs.debian.org with problems