Atención trabajadores Decretan feriado para este viernes 20 de octubre: ¿quiénes tendrán finde largo?