That said maybe it's better for readability to do it in 2 patch, one for moving the file and one for the renaming.
_______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
