trupper hafva från Rio Grande do Sul öfvergått republikens gräns.