grub-core/normal/progress.c was added in commit c06c75201cdfd8b8bc853c05d751258d3256933d along with a number of unrelated changes, and does not appear to be referenced anywhere else. Should it be deleted again?
-- Colin Watson [cjwat...@ubuntu.com] _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
