¿El lunes 13 de octubre hay puente? Esto dice la Ley Federal del Trabajo

El 12 de octubre se conmemora en países de Hispanoamérica e incluso en Estados Unidos, por lo que algunos se preguntan si el lunes 13 habrá puente.