From 86dd9dff22bf15f51da207449f50c4ea45fb4be6 Mon Sep 17 00:00:00 2001
From: Kyle Schwarz <zeranoe@gmail.com>
Date: Tue, 14 Aug 2018 13:52:38 -0400
Subject: Update ISL to 0.20

---
 mingw-w64-build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mingw-w64-build b/mingw-w64-build
index 6137fd3..80da7d0 100755
--- a/mingw-w64-build
+++ b/mingw-w64-build
@@ -23,7 +23,7 @@ v_gcc="8svn"
 v_gmp="6.1.2"
 v_mpfr="4.0.1"
 v_mpc="1.1.0"
-v_isl="0.19"
+v_isl="0.20"
 
 show_help()
 {
-- 
cgit v1.2.3