Personal/carer’s leave and public holidays

If the period the employee is on personal/carer’s leave includes a public holiday the employee is paid as usual for the public holiday.  The personal/carer’s leave entitlement is not reduced by the public holiday hours.