Processing commands for control@bugs.debian.org:

close 887676

Bug #887676 {Done: Salvatore Bonaccorso <carnil@debian.org>} [src:linux] Stretch kernel 4.9.0-5-amd64 breaks Xen PVH support
Bug #886491 {Done: Salvatore Bonaccorso <carnil@debian.org>} [src:linux] linux-image-4.9.0-5-amd64: Does not boot as Xen guest in PVH mode
Bug #886591 {Done: Salvatore Bonaccorso <carnil@debian.org>} [src:linux] 4.9.0-5 (after kaiser patch) breaks xen pvh
Bug 887676 is already marked as done; not doing anything.

thanks

Stopping processing here.

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

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