Processed: closing 929354
Processing commands for control@bugs.debian.org:
> close 929354 4.10-1~exp1
Bug #929354 [src:linux] linux-image-4.9.0-9-amd64: Tainted Kernel when using nosmt boot option
Marked as fixed in versions linux/4.10-1~exp1.
Bug #929354 [src:linux] linux-image-4.9.0-9-amd64: Tainted Kernel when using nosmt boot option
Marked Bug as done
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
929354: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=929354
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: