From d09caeb6feaba80058544610a250263e73d7b511 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 27 Nov 2019 08:59:25 +0100
Subject: [PATCH] oops, missing comma with devastating consequences

---
 pkgs.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs.py b/pkgs.py
index d6ea5999..e8e867bd 100755
--- a/pkgs.py
+++ b/pkgs.py
@@ -42,7 +42,7 @@ known_fcdistros = [
     # oldies but we have references to that in the pkgs files
     'f8', 'f10', 'f12', 'f14', 'f16', 'f18', 'f20', 'f21', 'f22', 'f23', 'f24',
     # these ones are still relevant
-    'f25', 'f27', 'f29', 'f31'
+    'f25', 'f27', 'f29', 'f31',
     # scientific linux
     'sl6',
     # debians
-- 
2.43.0