Quedó formalmente derogado el decreto que impedía las extradiciones