Processed: Re: Bug#1023123: linux-image-5.19.0-1-arm64: RPi3 fails to boot when headless

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

Processing control commands:

> found -1 6.0.5-1
Bug #1023123 [src:linux] linux-image-5.19.0-1-arm64: RPi3 fails to boot when headless
Marked as found in versions linux/6.0.5-1.
> fixed -1 6.0.6-2
Bug #1023123 [src:linux] linux-image-5.19.0-1-arm64: RPi3 fails to boot when headless
Marked as fixed in versions linux/6.0.6-2.
> fixed -1 6.1~rc3-1~exp1
Bug #1023123 [src:linux] linux-image-5.19.0-1-arm64: RPi3 fails to boot when headless
Marked as fixed in versions linux/6.1~rc3-1~exp1.
> severity -1 grave
Bug #1023123 [src:linux] linux-image-5.19.0-1-arm64: RPi3 fails to boot when headless
Severity set to 'grave' from 'important'
> tag -1 -moreinfo
Bug #1023123 [src:linux] linux-image-5.19.0-1-arm64: RPi3 fails to boot when headless
Removed tag(s) moreinfo.
> tag -1 upstream fixed-upstream
Bug #1023123 [src:linux] linux-image-5.19.0-1-arm64: RPi3 fails to boot when headless
Added tag(s) fixed-upstream and upstream.
> retitle -1 RPi 0-3 fail to boot on kernel 5.19+ without HDMI connected
Bug #1023123 [src:linux] linux-image-5.19.0-1-arm64: RPi3 fails to boot when headless
Changed Bug title to 'RPi 0-3 fail to boot on kernel 5.19+ without HDMI connected' from 'linux-image-5.19.0-1-arm64: RPi3 fails to boot when headless'.
> forwarded -1 https://lore.kernel.org/all/20220929-rpi-pi3-unplugged-fixes-v1-0-cd22e962296c@cerno.tech/
Bug #1023123 [src:linux] RPi 0-3 fail to boot on kernel 5.19+ without HDMI connected
Set Bug forwarded-to-address to 'https://lore.kernel.org/all/20220929-rpi-pi3-unplugged-fixes-v1-0-cd22e962296c@cerno.tech/'.

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