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

2017-08-07 Thread Vladimir 'phcoder' Serbinenko
Committed Le Mon, Aug 7, 2017 à 6:23 PM, Pete Batard a écrit : > As requested, this new proposal uses GRUB_GZ_ instead of GZ_ as the new > prefix. > > Regards, > > /Pete > ___ > Grub-devel mailing list > Grub-devel@gnu.org > https://lists.gnu.org/mailm

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

2017-08-07 Thread Pete Batard
As requested, this new proposal uses GRUB_GZ_ instead of GZ_ as the new prefix. Regards, /Pete From de3f6990c7705dd66b608684066b35ce3f0628e4 Mon Sep 17 00:00:00 2001 From: Pete Batard Date: Mon, 7 Aug 2017 16:23:12 +0100 Subject: [PATCH 3/3] io: add a GRUB_GZ prefix to gzio specific defines *