Ten-days holiday for public sector employees