From 2578bf15ab85b46db5e4a640d3ee0660cd7e904f Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Fri, 15 Nov 2019 15:07:15 +0100
Subject: [PATCH] oops missing change for f31

---
 fedora-mirror.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/fedora-mirror.sh b/fedora-mirror.sh
index df4385af..4ef4239e 100755
--- a/fedora-mirror.sh
+++ b/fedora-mirror.sh
@@ -16,8 +16,8 @@ root=/mirror/
 us_fedora_url=rsync://mirrors.kernel.org/fedora
 eu_fedora_url=rsync://mirror1.hs-esslingen.de/fedora/linux
 
-default_distroname="f29"
-all_distronames="f27 f29"
+default_distroname="f31"
+all_distronames="f29 f31"
 
 global_arch="x86_64"
 
-- 
2.43.0