reassign 284930 grub-installer severity 284930 wishlist thanks As this is a pretty uncommon situation, I have classified this issue as a wishlist item. Cheers, FJP