government employees’ holidays cancelled