Governor gives state workers extra day off—here's the scoop