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 [email protected] https://lists.gnu.org/mailman/listinfo/grub-devel
