Ya es feriado: Día de San Lorenzo es publicado en el Diario Oficial