From 33348d8325916da440a4e96490fd20b0f6d313c5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= Date: Thu, 4 Aug 2022 18:27:09 +0300 Subject: [PATCH] prepare new release --- CHANGES.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index 464a0fa6a..c9cf1efef 100644 --- 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