Le 12/02/2019 à 14:35, Andreas Tille a écrit : > Since I have no permission to remove repositories in java-team could you > be so kind to remove the now outdated repository[2]. Done Emmanuel Bourg