¿Es feriado mañana, lunes 12 de octubre?

En octubre en el país hay un descanso de tres días consecutivos; esta es la fecha exacta del asueto nacional