On 2023-11-07 19:45:24 [+0100], Daniel Kiper wrote: > > I had the previous two plus this one. Did the previous two get merged in > > the meaintime or are they still undere review? > > I merged them in the meantime.
I don't know how this works but
https://savannah.gnu.org/bugs/?64376
could be closed (unless a release is required or so).
> Daniel
Sebastian
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel
