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