mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-29 10:39:22 +00:00
users updated. (grub_util_biosdisk_read): Handle Linux partitions not exactly corresponding to GRUB partitions. (grub_util_biosdisk_write): Likewise.