[Pkg-xen-devel] Processed: #1001256 is a real bug

[Debian Bug Tracking System]

Processing control commands:

> found 1001256 4.17.5+23-ga4e5191dc0-1
Bug #1001256 [src:xen] Rearrange packages (break PyGRUB off, perhaps others too)
Marked as found in versions xen/4.17.5+23-ga4e5191dc0-1.
> found 1001256 4.17.5+23-ga4e5191dc0-1+deb12u1
Bug #1001256 [src:xen] Rearrange packages (break PyGRUB off, perhaps others too)
Marked as found in versions xen/4.17.5+23-ga4e5191dc0-1+deb12u1.
> found 1001256 4.20.0+68-g35cb38b222-1
Bug #1001256 [src:xen] Rearrange packages (break PyGRUB off, perhaps others too)
Marked as found in versions xen/4.20.0+68-g35cb38b222-1.
> severity 1001256 normal
Bug #1001256 [src:xen] Rearrange packages (break PyGRUB off, perhaps others too)
Severity set to 'normal' from 'wishlist'

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