National Day holiday announced for public sector

Public sector holiday will be from December 1 to 5, with work resuming on December 6