Skip to content

Commit

Permalink
Tidy up CHANGELOG in preparation for v2.1 release candidate (agda#2412)
Browse files Browse the repository at this point in the history 
* Tidy up CHANGELOG in preparation for v2.1 release candidate

* Fixed WHITESPACE

* Fixed James' feedback and improved alphabetical order
  • Loading branch information
@MatthewDaggitt
MatthewDaggitt authored Jun 19, 2024
1 parent 611a31f commit 606bea8
Show file tree
Hide file tree
Showing 2 changed files with 220 additions and 246 deletions.
Loading

0 comments on commit 606bea8

Please sign in to comment.