In the debate about Anthony Barr‘s hit that injured Aaron Rodgers, the league office has ruled: It was legal.

The NFL did not fine Barr, the Vikings pass rusher who may have ended the Packers quarterback’s season on Sunday by driving him to the ground after a pass. Barr was also not flagged on the play, so there’s little doubt that it was legal — although perhaps it shouldn’t be.