I would be grateful if you could advise me how to complain about the
handling of the above grub report.Vladimir is one of the primary grub developers, and the most active one I know of. I guess I can only suggest writing (individually) to another key grub developer and ask him to review. Best, Karl
