Processing commands for control@bugs.debian.org:

# restore fixed version
fixed 1033058 6.1.25-1

Bug #1033058 {Done: Ben Hutchings <ben@decadent.org.uk>} [src:linux] Booting mini.iso : kernel hangs on ppc64el
Marked as fixed in versions linux/6.1.25-1.

thanks

Stopping processing here.

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

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)