# HG changeset patch # User wenzelm # Date 1609939858 -3600 # Node ID b595bcdf5bf3a905e0595d2e366f2b63e164f6e5 # Parent 4f1df8d3707b07fdd39b1ecf37ae8df3aa1df796 proper LSMinimumSystemVersion for zulu-jdk-15; diff -r 4f1df8d3707b -r b595bcdf5bf3 src/Pure/Admin/build_release.scala --- a/src/Pure/Admin/build_release.scala Wed Jan 06 14:23:57 2021 +0100 +++ b/src/Pure/Admin/build_release.scala Wed Jan 06 14:30:58 2021 +0100 @@ -326,7 +326,7 @@ NSHumanReadableCopyright LSMinimumSystemVersion -10.10 +10.11 LSApplicationCategoryType public.app-category.developer-tools NSHighResolutionCapable