Processed: Re: Bug 956752: linux-image-rt-amd64: No access to EFI variables possible with rt kernels

["Debian Bug Tracking System" <owner@bugs.debian.org>]

Processing control commands:

> reassign -1 src:linux 4.19.98-1
Bug #956752 [linux-image-rt-amd64] linux-image-rt-amd64: No access to EFI variables possible with rt kernels
Bug reassigned from package 'linux-image-rt-amd64' to 'src:linux'.
No longer marked as found in versions linux-latest/105+deb10u3.
Ignoring request to alter fixed versions of bug #956752 to the same values previously set
Bug #956752 [src:linux] linux-image-rt-amd64: No access to EFI variables possible with rt kernels
Marked as found in versions linux/4.19.98-1.
> found -1 5.4.19-1
Bug #956752 [src:linux] linux-image-rt-amd64: No access to EFI variables possible with rt kernels
Marked as found in versions linux/5.4.19-1.
> tag -1 moreinfo
Bug #956752 [src:linux] linux-image-rt-amd64: No access to EFI variables possible with rt kernels
Added tag(s) moreinfo.

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