On Tuesday 30 June 2015 23:30:46 Sven Hartge wrote: > Wow. 100MB for a bios_grub partition wastes about 99.8MB. Which used to matter. But out of 2T??? Lisi