Public holidays falling during a period of annual leave.

Should a public holiday fall during a period whilst an employee is on annual leave, and the public holiday falls on the day on which the employee would ordinarily work, then the employee is entitled to an extra day annual leave for each such public holiday.