Table schema:
CREATE TABLE table_name_72 (year VARCHAR, award VARCHAR, category VARCHAR)

Question: What year was there a Tony award category of Best Revival of a Musical?
SQL: SELECT year FROM table_name_72 WHERE award = "tony award" AND category = "best revival of a musical"