Yep, Messi got some rest while the Portuguese played the full 90 minutes chasing the headlines in a friendly. It is annoying that they had to pull their trousers down so late and that far in overtime, tho.
So it’s a hamstring injury that he’s been playing with for a while according to him.