a ver..
el festivo es el dia 12, que es la fiesta de la hispanidad (lo siento, me niego a llamarlo de otra forma) y NO ES FESTIVO A NIVEL NACIONAL.
Al menos en mi calendario laboral que tengo delante de mis narices (literalmente) no sale marcado como tal (y los festivos SALEN marcados).
Otra cosa es que en mi calenndario no slagan marcados en caso de caer en domingo...
En los sitios que tengan festivo el 12, al caer en domingo pues es una fiesta recuperable. Osease, que se pasa normalemente al siguiente lunes.
PERO hay comunidades que tienen muchos dias como posibles "festivos" que no lo son por que hay un maximo de dias festivos al año y lo que hacen en caso de caer un dia de fiesta en domingo es pasar esa fiesta al siguiente dia de su lista.
PD: he mirado el calendario laboral del año pasado y tampoco esta marcado como festivo.