¿Sigue en pie el festivo del 13 de julio tras demanda en la Corte Constitucional?

El nuevo festivo del 13 de julio generó dudas por una demanda ante la Corte. Esto es lo que podría pasar con la fecha.