Well, I didn't find more details.
Looks like they were somewhat underequipped, for that trail.
AFAIK, the GR20 is one of the most difficult trails in Europe. And even in august, bad weather is to be expected and planned for.
_________________________
Alain