Yes, it was given, end of.
By the way for those that don't know the rules, a shirt pull is a foul, a foul in the box is a penalty, so why debate it at all, its just stupidity imho.
That said there should be consistency, so I hope every lino/ref gives every shirt pull in (or out of) the box from now on, games will be finishing 12-10 for a couple of weeks, at least until the players get the message not to pull shirts (or shorts). I won't be holding my breath on that though, because if there's one blinding consistency in refereeing in the Premier League, its the inconsistency between them all, and from game to game by individuals.