Skip to content

Commit

Permalink
Bump version to 1.2.3.
Browse files Browse the repository at this point in the history
ryzhyk committed Dec 13, 2021

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
1 parent e65559c commit cd1164e
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -4,7 +4,7 @@ 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/).

## [Unreleased]
## [1.2.3] - Dec 13, 2021

### Quality-of-life improvements

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.2
version: 1.2.3
github: "vmware/differential-datalog"
license: MIT
author: "Leonid Ryzhyk"
2 changes: 1 addition & 1 deletion src/Language/DifferentialDatalog/Version.hs
Original file line number Diff line number Diff line change
@@ -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.2"
dDLOG_VERSION = "v1.2.3"

gitInfoCwdTry :: Either String GitInfo
gitInfoCwdTry = $$tGitInfoCwdTry

0 comments on commit cd1164e

Please sign in to comment.