# HG changeset patch
# User wenzelm
# Date 1611521460 -3600
# Node ID 9e967acf8f0f5246087086e12e1b089af652d7fa
# Parent  a8a8bc42d552208de2c11d7735a89c1e4958ed96
provide jdk-11.0.10+9.tar.gz LTS for testing (inactive);

diff -r a8a8bc42d552 -r 9e967acf8f0f Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sun Jan 24 17:39:29 2021 +0100
+++ b/Admin/components/components.sha1	Sun Jan 24 21:51:00 2021 +0100
@@ -107,6 +107,7 @@
 dabcf5085d67c99159007007ff0e9bf775e423d1  isabelle_fonts-20190409.tar.gz
 76827987c70051719e117138858930d42041f57d  isabelle_fonts-20190717.tar.gz
 0b2206f914336dec4923dd0479d8cee4b904f544  jdk-11+28.tar.gz
+e12574d838ed55ef2845acf1152329572ab0cc56  jdk-11.0.10+9.tar.gz
 3e05213cad47dbef52804fe329395db9b4e57f39  jdk-11.0.2+9.tar.gz
 06ac8993b5bebd02c70f1bd18ce13075f01115f3  jdk-11.0.3+7.tar.gz
 e7e3cc9b0550c1e5d71197ad8c30f92b622d7183  jdk-11.0.4+11.tar.gz