On 11/20/2015 09:47 AM, Andrei Borzenkov wrote:
ping
I'll rebase today, in the middle of something else atm. Thanks, Josef _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
