On Tue, Jan 15, 2019 at 03:43:59PM +0100, grub-de...@agowa338.de wrote: > Hello, > > just wanted to ask, if this patch got unnoticed, or if I just have to wait a > bit longer for a response. > This is my first time submitting a patch to the grub project, so please bear > with me ;-)
I am clearing my backlog after holiday season. So, I will reply for each email posted here which requires my reply. If you, or anybody else, will not get my reply in a week or two then ping me again please. Daniel _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
