1. 2014-06-02 Re: [PATCH 2/2] Add emdedded-config hidden option to grub-deve Andrey Borzenkov 2. 2014-05-27 Re: [PATCH 2/2] Add emdedded-config hidden option to grub-deve Glenn Washburn 3. 2014-05-22 Re: [PATCH 2/2] Add emdedded-config hidden option to grub-deve Vladimir 4. 2014-05-19 [PATCH 2/2] Add emdedded-config hidden option to grub grub-deve Glenn Washburn