Stefan, On Tue, Jul 19, 2022 at 04:49:51PM -0400, Stefan Berger wrote: > Daniel K., > > were you going to push the last 4 patches of this series into the repo as > well now that the first 10 are checked in?
I have to review them first. I am going to do this in the following weeks. Anyway, it is certainly the GRUB 2.12 release material. Daniel _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
