Another data point, in Ireland, your public holidays (of which Ireland has 9 per year) are not included in your (legal minimum of) 20 days annual leave. So in total, you can get 29 paid days off.