CREATE TABLE table_name_90 (result VARCHAR(255), category VARCHAR(255))
What was the result for the nomination of Best Revival of a Musical?
    
SQL: SELECT result FROM table_name_90 WHERE category = "best revival of a musical"