With that total, “Mario Bros.” became the second-biggest animated feature of all time, pushing Disney’s “Frozen,” with $1.28 billion at the global box office, into the third-place slot.

Proud to have participated in the adventure 😀