#3427: wrong updates-testing release for roboptim-core?