Processed: Re: Bug#873187: linux-image-amd64: Missing tpm_tis module

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing control commands:

> reassign -1 src:linux 4.9.25-1
Bug #873187 [linux-image-amd64] linux-image-amd64: Missing tpm_tis module
Bug reassigned from package 'linux-image-amd64' to 'src:linux'.
No longer marked as found in versions linux-latest/80+deb9u1.
Ignoring request to alter fixed versions of bug #873187 to the same values previously set
Bug #873187 [src:linux] linux-image-amd64: Missing tpm_tis module
Marked as found in versions linux/4.9.25-1.
> tag -1 moreinfo
Bug #873187 [src:linux] linux-image-amd64: Missing tpm_tis module
Added tag(s) moreinfo.

-- 
873187: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=873187
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems