bug#25952: offloading empty machines file

[zimoun]

Dear,

Digging in the bug tracker, I found this bug report [1].  Could you
expand on the issue? And report the error message?

Thank you in advance.

Best regards,
simon

[1] https://debbugs.gnu.org/cgi/bugreport.cgi?bug=25952