From 9db7388632de2cb4c075d7a458303dc34e90f815 Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Mon, 4 Nov 2019 17:16:01 +0100
Subject: [PATCH] isl/0.21: released as stable

---
 Libraries/isl/files/variants | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Libraries/isl/files/variants b/Libraries/isl/files/variants
index 467f76c..2b4fcf0 100644
--- a/Libraries/isl/files/variants
+++ b/Libraries/isl/files/variants
@@ -1 +1 @@
-isl/0.21	unstable	b:gmp/6.1.2-1
+isl/0.21	stable	b:gmp/6.1.2-1