Skip to content

Commit

Permalink
Update CHANGELOG.md
Browse files Browse the repository at this point in the history
Co-authored-by: AN <dharmaturtle@users.noreply.github.com>
  • Loading branch information
TysonMN and dharmaturtle committed Jul 23, 2022
1 parent 0c2fc20 commit 1d31cd6
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
## Version 0.12.3 (2022-07-21)

- Fix bug in `Property.recheck` where the result is always failed.
- Fix bug in `Property.recheck` where the result is always `Failed`. ([#408][408], [@TysonMN][TysonMN])

## Version 0.12.1 (2021-12-31)

Expand Down

0 comments on commit 1d31cd6

Please sign in to comment.