Las tensiones fronterizas se suavizaron, y el apoyo a las respectivas guerrillas cesó.