Ending an impasse that began in June when the league locked out the officials and used replacements instead