Skip to content

Commit

Permalink
fix changelog URLs
Browse files Browse the repository at this point in the history
  • Loading branch information
@palmskog
palmskog committed Jun 1, 2024
1 parent 46abd8f commit 10cd93d
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions CHANGELOG.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,5 +16,5 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).

- Make the order of sums produced by `aac_normalise` tactic consistent across calls.

[Unreleased]: https://github.com/coq-community/chapar/compare/v8.19.1...master
[8.19.1]: https://github.com/coq-community/chapar/releases/tag/v8.19.1
[Unreleased]: https://github.com/coq-community/aac-tactics/compare/v8.19.1...master
[8.19.1]: https://github.com/coq-community/aac-tactics/releases/tag/v8.19.1

0 comments on commit 10cd93d

Please sign in to comment.