From 4e45815e9f25e3abfb7f016ee305af77bf7dfbed Mon Sep 17 00:00:00 2001 From: Leonid Ryzhyk Date: Thu, 9 Jul 2020 14:25:56 -0700 Subject: [PATCH] Bump version to 0.22.0. --- src/Language/DifferentialDatalog/Version.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Language/DifferentialDatalog/Version.hs b/src/Language/DifferentialDatalog/Version.hs index 6b628cdde..943aca83c 100644 --- a/src/Language/DifferentialDatalog/Version.hs +++ b/src/Language/DifferentialDatalog/Version.hs @@ -32,7 +32,7 @@ import GitHash -- Keep this in sync with the binary release version on github dDLOG_VERSION :: String -dDLOG_VERSION = "v0.21.0" +dDLOG_VERSION = "v0.22.0" gitHash :: String gitHash = giHash $$tGitInfoCwd