Removal of pv-grub-menu ?

[Charles Plessy]

Hello everybody,

it seems to me that the pv-grub-menu package is not needed anymore
since there is the grub-xen package.

Shall I request the removal of the pv-grub-menu package from Strech ?

Have a nice day

-- 
Charles Plessy
Tsurumi, Kanagawa, Japan