Bump version to 1.2.0.

Author: ryzhyk

CHANGELOG.md

@@ -4,6 +4,22 @@ 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.0] - Dec 8, 2021
+
+### Bug fixes
+
+- Fix broken command recording in the `DDlogDynamic` API.
+
+### SQL-to-DDlog compiler
+
+- More efficient joins
+- Bug fixes
+
+### Self-profiler
+
+- Add anchors to the profile, so one can create hyperlinks to individual profile
+  entries.
+
 ## [1.1.0] - Nov 12, 2021
 
 ### Rust API changes

package.yaml

@@ -1,5 +1,5 @@
 name:                differential-datalog
-version:             1.1.0
+version:             1.2.0
 github:              "vmware/differential-datalog"
 license:             MIT
 author:              "Leonid Ryzhyk"

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.1.0"
+dDLOG_VERSION = "v1.2.0"
 
 gitInfoCwdTry :: Either String GitInfo
 gitInfoCwdTry = $$tGitInfoCwdTry