update linux arm64 version

koka-lang · Jun 24, 2021 · f5c6b20 · f5c6b20
1 parent 13fd706
commit f5c6b20
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/doc/spec/styles/book.css b/doc/spec/styles/book.css
@@ -287,7 +287,7 @@ html {
 }
 
 .news-items {
-	height: 8em;
+	height: 7em;
 	overflow-y: auto;
 	padding-top: 1ex;
   margin-top: -1em;

diff --git a/util/install.sh b/util/install.sh
@@ -20,7 +20,7 @@ KOKA_TEMP_DIR=""        # empty creates one dynamically
 adjust_version() {  # <osarch>
   case "$1" in
     linux-arm64)
-      VERSION="v2.1.8";;
+      VERSION="v2.1.9";;
   esac    
 }