On Tue, Jun 24, 2025 at 01:27:35PM -0400, Mike Gilbert wrote: > On Tue, Jun 10, 2025 at 11:15 PM Andrew Hamilton <adham...@gmail.com> wrote: > > > > Fix several issues with attempting to create and build from the > > GRUB 'dist' archive. > > > > 1. extra_deps.lst is now automatically generated so remove this > > from the archive to avoid a dependency on running make first. > > > > 2. Add additional header files to the dist archive. > > > > The first patch is a resend of Mike Gilbert's from: > > https://mail.gnu.org/archive/html/grub-devel/2025-03/msg00223.html > > Thanks for getting this merged; I am at a loss as to why my patch was > ignored for months.
Sorry, it was not intentional. Simply fallen through the cracks... Daniel _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
