Apologies, my mistake. Thanks, Andrew
On Tue, Jun 24, 2025 at 12:27 PM Mike Gilbert <flop...@gentoo.org> 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. > > In the future, please maintain the Author when resending patches from > other people. >
_______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
