[pkg-php-pear] Bug#824349: Bug#824389: grub-efi-arm-bin: the .efi file itself is missing

Sun May 15 10:56:27 UTC 2016

On Sun, May 15, 2016 at 12:43:13PM +0200, Steinar H. Gunderson wrote:
> I can confirm that if I build the .efi manually, it does indeed work and
> boot a working GRUB (given an appropriate device tree already in /boot/dtbs):

Sorry, wrong bug number. Please ignore.

/* Steinar */
-- 
Homepage: https://www.sesse.net/