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 [email protected] https://lists.gnu.org/mailman/listinfo/grub-devel
