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