Re: [PATCH] add arm64 UEFI Linux loader

[Leif Lindholm]

On Thu, Dec 19, 2013 at 08:06:03PM +0100, Vladimir 'φ-coder/phcoder' Serbinenko 
wrote:
> >> if grub_errno is set you shouldn't override it. And please use the same
> >> message verbatim (unexpected end of file): it decreases work for 
> >> translators
> > 
> > Well, since I have already checked the file size before this, any
> > failure will be an i/o error - so I'll just goto fail instead.
> > 
> If the file is read from network it may change size between when you
> check it and when you read it.

Ah, ok.
Fixed and resubmitting now.

/
    Leif