Best sound editing winner 2013

Has There Ever Been a Tie for an Oscar?
Has There Ever Been a Tie for an Oscar?