From 875a9373da5f7d988b941ced3c25b0d79884d0fe Mon Sep 17 00:00:00 2001
From: Leonid Ryzhyk <lryzhyk@vmware.com>
Date: Thu, 9 Dec 2021 11:19:13 -0800
Subject: [PATCH] Bump version to 1.2.2.

---
 CHANGELOG.md                                | 6 ++++++
 package.yaml                                | 2 +-
 src/Language/DifferentialDatalog/Version.hs | 2 +-
 3 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 6bb52a2ff..172b95dc6 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -4,6 +4,12 @@ All notable changes to this project will be documented in this file.
 
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 
+## [1.2.2] - Dec 9, 2021
+
+### Bug fixes
+
+- Fix jump-to-record functionality in HTML profiles.
+
 ## [1.2.1] - Dec 8, 2021
 
 ### Bug fixes
diff --git a/package.yaml b/package.yaml
index be1b8ce42..fd32f84a4 100644
--- a/package.yaml
+++ b/package.yaml
@@ -1,5 +1,5 @@
 name:                differential-datalog
-version:             1.2.1
+version:             1.2.2
 github:              "vmware/differential-datalog"
 license:             MIT
 author:              "Leonid Ryzhyk"
diff --git a/src/Language/DifferentialDatalog/Version.hs b/src/Language/DifferentialDatalog/Version.hs
index dc2b1ca9a..7e66293a8 100644
--- a/src/Language/DifferentialDatalog/Version.hs
+++ b/src/Language/DifferentialDatalog/Version.hs
@@ -33,7 +33,7 @@ import Data.List
 
 -- Keep this in sync with the binary release version on github
 dDLOG_VERSION :: String
-dDLOG_VERSION = "v1.2.1"
+dDLOG_VERSION = "v1.2.2"
 
 gitInfoCwdTry :: Either String GitInfo
 gitInfoCwdTry = $$tGitInfoCwdTry