I guess we could put the mirror in a public hosting, such as: http://repo.or.cz/
so that it's more reliable. -- Bean _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
