release.hs: stop producing RPMs for Fedora 20 (reached EOL)

borsboom · borsboom · commit 612efdd48986 · 2015-08-12T21:28:52.000-07:00
diff --git a/scripts/release/release.hs b/scripts/release/release.hs
@@ -325,8 +325,7 @@ rules global@Global{..} args = do
             [ ("7", "7")
             , ("6", "6") ]
         | distro == fedoraDistro =
-            [ ("20", "20")
-            , ("21", "21")
+            [ ("21", "21")
             , ("22", "22") ]
         | otherwise = error ("distroVersions: unknown distro: " ++ distro)
 
