grub-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCHv2 3/3] io: add a GRUB_GZ prefix to gzio specific defines


From: Vladimir 'phcoder' Serbinenko
Subject: Re: [PATCHv2 3/3] io: add a GRUB_GZ prefix to gzio specific defines
Date: Mon, 07 Aug 2017 17:30:39 +0000

Committed

Le Mon, Aug 7, 2017 à 6:23 PM, Pete Batard <address@hidden> a écrit :
As requested, this new proposal uses GRUB_GZ_ instead of GZ_ as the new
prefix.

Regards,

/Pete
_______________________________________________
Grub-devel mailing list
address@hidden
https://lists.gnu.org/mailman/listinfo/grub-devel

reply via email to

[Prev in Thread] Current Thread [Next in Thread]