Le 24/10/2018 à 08:59, Alexander Wirt a écrit : > Too late, the removal happened yesterday. Ok, sorry I should have checked openjdk-11 first. I'll re-upload openjdk-9 then, followed by openjdk-10 and openjdk-11. Emmanuel Bourg