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