än nägot annat har dock afrättandet af general Robles wäckt.