public holiday

means a public holiday referred to in section 1 of the Public Holidays Act, 1994 (Act No. 36 of 1994);