A raíz de estos hechos, el 29 de noviembre de 1880 el nombre de la ciudad fue modificado con el agregado "de los Libres".