Currently both the legacy and the new rotation service does not take public holidays in account when generating schedules. 

For office hour rotations it makes little sense to schedule shifts on public holidays.

This would be an optional configuration to make the schedulers skip shifts on holidays.