Es oficial: qué pasa con el feriado del viernes 20 de junio, según la ley