From 148b10d6667beb4aa4159a3a28adfaada67c6fd8 Mon Sep 17 00:00:00 2001 From: Zack Date: Tue, 1 Jan 2019 16:10:39 -0800 Subject: [PATCH] Update default.txt --- .github/default.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/default.txt b/.github/default.txt index 81ad5dd3..c2b54717 100644 --- a/.github/default.txt +++ b/.github/default.txt @@ -33,7 +33,7 @@ install_croc() croc_os="unsupported" croc_arch="unknown" croc_arm="" - croc_version="4.1.4" + croc_version="4.1.5" # Termux on Android has $PREFIX set which already ends with /usr