Hi Patrick, On Fri, Dec 27, 2019 at 04:18:33PM +0100, Patrick Steinhardt wrote: > Hi, > > this is hopefully the last version of this patchset. The previous
Yes, it is. Everything builds. Patchset pushed. Thank you for your work! Daniel _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
