diff -r 3ede182a479a -r 53e5d0c412b6 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Mar 19 23:35:37 2021 +0100
+++ b/Admin/components/components.sha1	Fri Mar 19 23:37:12 2021 +0100
@@ -112,6 +112,7 @@
 76827987c70051719e117138858930d42041f57d  isabelle_fonts-20190717.tar.gz
 abc8aea3ae471f9313917008ac90e5c1c99e17da  isabelle_fonts-20210317.tar.gz
 3ff9195aab574fc75ca3b77af0adb33f9b6d7b74  isabelle_fonts-20210318.tar.gz
+b166b4bd583b6442a5d75eab06f7adbb66919d6d  isabelle_fonts-20210319.tar.gz
 0b2206f914336dec4923dd0479d8cee4b904f544  jdk-11+28.tar.gz
 e12574d838ed55ef2845acf1152329572ab0cc56  jdk-11.0.10+9.tar.gz
 3e05213cad47dbef52804fe329395db9b4e57f39  jdk-11.0.2+9.tar.gz