From 51a96dc68f78c8f40d97c2544d9db4340d5409e7 Mon Sep 17 00:00:00 2001 From: Leonid Ryzhyk Date: Wed, 8 Dec 2021 17:27:51 -0800 Subject: [PATCH] Bump version to 1.2.1. --- 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 a6308ab19..6bb52a2ff 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.1] - Dec 8, 2021 + +### Bug fixes + +- Fix row highlighting in HTML profiles. + ## [1.2.0] - Dec 8, 2021 ### Bug fixes diff --git a/package.yaml b/package.yaml index 3e2b68676..be1b8ce42 100644 --- a/package.yaml +++ b/package.yaml @@ -1,5 +1,5 @@ name: differential-datalog -version: 1.2.0 +version: 1.2.1 github: "vmware/differential-datalog" license: MIT author: "Leonid Ryzhyk" diff --git a/src/Language/DifferentialDatalog/Version.hs b/src/Language/DifferentialDatalog/Version.hs index 4a2909a59..dc2b1ca9a 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.0" +dDLOG_VERSION = "v1.2.1" gitInfoCwdTry :: Either String GitInfo gitInfoCwdTry = $$tGitInfoCwdTry