prepare new release

Deducteam · Aug 4, 2022 · 33348d8 · 33348d8
1 parent 16644a4
commit 33348d8
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -3,7 +3,7 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/),
 and this project adheres to [Semantic Versioning](https://semver.org/).
 
-## Unreleased
+## 2.2.1 (2022-07-04)
 
 ### Added
 
@@ -13,9 +13,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/).
 ### Removed
 
 - Logic directory since it is now available on the [Lambdapi Opam repository](https://github.com/Deducteam/opam-lambdapi-repository).
-
 - Option --recompile.
 
+### Changed
+
+- Use short options in system commands to be POSIX compliant.
+
 ## 2.2.0 (2022-03-18)
 
 ### Added