Skip to content

Commit

Permalink
Bump version to 1.2.1.
Browse files Browse the repository at this point in the history
  • Loading branch information
ryzhyk committed Dec 9, 2021
1 parent f968bbd commit 51a96dc
Show file tree
Hide file tree
Showing 3 changed files with 8 additions and 2 deletions.
6 changes: 6 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
2 changes: 1 addition & 1 deletion package.yaml
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
name: differential-datalog
version: 1.2.0
version: 1.2.1
github: "vmware/differential-datalog"
license: MIT
author: "Leonid Ryzhyk"
Expand Down
2 changes: 1 addition & 1 deletion src/Language/DifferentialDatalog/Version.hs
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 51a96dc

Please sign in to comment.