maggiorazione gg festivo infrasettimanale

[an.bal]

buongiorno.
un dipendente NON in turno svolge la propria attività lavorativa (per motivi di servizio) anche nel giorno del Santo patrono, quindi giorno festivo infrasettimanale.
in questo caso il lavoro può ricevere in alternativa:
- compenso per lavoro straordinario festivo per le ore effettivamente lavorate
oppure
- gg riposo compensativo

in quest'ultimo caso, cioè nel caso in cui decida per il riposo compensativo, gli spetta anche la maggiorazione per lavoro festivo (art.24 comma 5) oppure no?

[Mariposa]

mi è capitato pochissime volte e non ho mai dato la maggiorazione

[Schiaffino]

direi proprio di no, perchè non è il giorno di riposo settimanale.

[an.bal]

grazie mille