On Wed, Mar 20, 2019 at 01:19:30AM +0000, Chen, Farrah wrote: > Thank you for great help!
You are welcome! Patch has been pushed. Daniel _______________________________________________ Bug-grub mailing list Bug-grub@gnu.org https://lists.gnu.org/mailman/listinfo/bug-grub