Public holiday

means a public holiday referred to in section 1 of the Public Holidays Act, 1994 (Act No. 36 of 1994), or a day proclaimed as a public holiday under section 2 of that Act.