Context: 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?
Answer: SELECT year FROM table_name_72 WHERE award = "tony award" AND category = "best revival of a musical"