1. 2019-09-19 Re: [PATCH] grub-install: Define default platform for grub-deve Alexander Graf 2. 2019-09-19 Re: [PATCH] grub-install: Define default platform for grub-deve Daniel Kiper 3. 2019-08-15 [PATCH] grub-install: Define default platform for RIS grub-deve Andreas Schwab