[Reportbug-maint] Processed: reassign 888431 to src:linux

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 888431 src:linux 4.14.13-1
Bug #888431 [reportbug] reportbug: Kernel 4.14.0-3-amd64  ACPI error thinkpad x1 carbon sid
Bug reassigned from package 'reportbug' to 'src:linux'.
No longer marked as found in versions reportbug/7.1.8.
Ignoring request to alter fixed versions of bug #888431 to the same values previously set
Bug #888431 [src:linux] reportbug: Kernel 4.14.0-3-amd64  ACPI error thinkpad x1 carbon sid
Marked as found in versions linux/4.14.13-1.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
888431: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=888431
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems