BUG 11078 "El ordenamiento por version en el Plugins manager..." SOLVED