[File] [PATCH] handle full disk space errors as failure

[Dirk Müller]

Hi Christos,

Great, thanks!

I don't see any commits for the last ~ 6 weeks on
https://github.com/file/file - is there something stuck with the
mirroring?

Greetings,
Dirk