Obviously in modern football it is a red card, absolutely bizarre it wasn’t given.
But on the other hand, it was something of nothing. He didn’t swing hard and hardly touched him and it annoys me when innocous things like that are given as reds usually. I’m prepared to be magnanimous as we won 🙂