diff -r e7437085e589 -r b8e12e94cfca Admin/components/bundled-linux
--- a/Admin/components/bundled-linux	Tue Jan 26 21:33:52 2021 +0100
+++ b/Admin/components/bundled-linux	Tue Jan 26 22:46:06 2021 +0100
@@ -1,2 +1,2 @@
 #additional components to be bundled for release
-linux_app-20200110
+Isabelle_app-20210126