Chris Dos Thu, 07 Dec 2017 16:10:06 -0800
Can this patch be committed or tell me what is wrong with it so I can come up with a different one?
I just got bit by this bug again and I had to apply this patch in order for grub to come up with the correct root device in order to boot.
