From cc9210818ee674cd6eed42e7cdcafd710da4b64b Mon Sep 17 00:00:00 2001
From: Mikhail Glushenkov <mikhail.glushenkov@gmail.com>
Date: Wed, 28 Mar 2018 15:45:54 +0100
Subject: [PATCH] Bump lib:Cabal to v2.2.0.1.
---
Cabal/Cabal.cabal | 2 +-
Cabal/Makefile | 2 +-
Cabal/doc/conf.py | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/Cabal/Cabal.cabal b/Cabal/Cabal.cabal
index e41b2f6ee8..2b680ca7ee 100644
--- a/Cabal/Cabal.cabal
+++ b/Cabal/Cabal.cabal
@@ -1,5 +1,5 @@
name: Cabal
-version: 2.2.0.0
+version: 2.2.0.1
copyright: 2003-2018, Cabal Development Team (see AUTHORS file)
license: BSD3
license-file: LICENSE
diff --git a/Cabal/Makefile b/Cabal/Makefile
index a2522cc0e6..6933785e14 100644
--- a/Cabal/Makefile
+++ b/Cabal/Makefile
@@ -1,5 +1,5 @@
-VERSION=2.2.0.0
+VERSION=2.2.0.1
#KIND=devel
KIND=rc
diff --git a/Cabal/doc/conf.py b/Cabal/doc/conf.py
index 0e252b34af..d323b680ab 100644
--- a/Cabal/doc/conf.py
+++ b/Cabal/doc/conf.py
@@ -13,7 +13,7 @@ import sphinx_rtd_theme
sys.path.insert(0, os.path.abspath('.'))
import cabaldomain
-version = "2.2.0.0"
+version = "2.2.0.1"
extensions = ['sphinx.ext.extlinks']
--
GitLab