Día del Respeto a la Diversidad Cultural: ¿es o no feriado el lunes 14 de octubre?

El próximo sábado 12 de octubre se conmemora el Día del Respeto a la Diversidad Cultural. ¿Es fin de semana largo?