CREATE TABLE table_name_72 (year VARCHAR(255), award VARCHAR(255), category VARCHAR(255))
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"