Art. 10. Giorni festivi 1. Al personale dirigente si applicano in materia di festivita' le stesse disposizioni vigenti per il restante personale non turnista.