Hi !
> * just to be clear: did these machines boot from Tails 1.3 "made with
> Tails Installer"?
no, they don't.
>
> * what's the exact behaviour the user sees when Tails 1.3.1 fails
> to boot?
>
> (I can't remember of any change, between 1.3 and 1.3.1, that would
> impact booting from a device created by Tails Installer, but not
> a device installed manually, so I suspect a user mistake somewhere
> here, or some unclarity in the report -- I would dislike adding wrong
> "hardware that doesn't work" information to our known issues page.)
so, I'm the slowest patcher in the world, 1.3.1 wasn't out when i was in contact with that user, and I forgot most of the details that lead me to make that patch. but reading those mails again, I'm not sure anymore that we can exclude other issues, so I just mailed the user to clarify when the issue appeared and exclude the classic mistakes.
>
> > I'll make the changes and send another patch, thanks
it's a good thing that I'm the slwest patcher in the galaxy (yes, I was promoted 10 seconds ago), I didn't made that patch yet.
cheers.