7d51162
* grub-core/disk/diskfilter.c (grub_diskfilter_make_raid): Make level / 3 division explicitly unsigned. Saves few bytes.