Processed: closing 800929, reassign 800945 to src:linux
Processing commands for control@bugs.debian.org:
> close 800929
Bug #800929 [src:linux] linux_source-3.16: Scheduler prefers pinned tasks
Marked Bug as done
> reassign 800945 src:linux 3.16.7-ckt11-1+deb8u4
Bug #800945 [linux-source-3.16] linux-source-3.16: Scheduler prefers pinned tasks
Bug reassigned from package 'linux-source-3.16' to 'src:linux'.
No longer marked as found in versions linux/3.16.7-ckt11-1+deb8u4.
Ignoring request to alter fixed versions of bug #800945 to the same values previously set
Bug #800945 [src:linux] linux-source-3.16: Scheduler prefers pinned tasks
Marked as found in versions linux/3.16.7-ckt11-1+deb8u4.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
800929: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=800929
800945: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=800945
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: