From afa12d61d83927ff7b6b415d2503ec64d75aada6 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Tue, 13 Feb 2024 11:59:45 +0100 Subject: [PATCH] changes for 4.4.2 --- CHANGES.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index 02fd48c60..6e06411cf 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,3 +1,13 @@ +### v4.4.2 (2024-02-13) + +- Fix GC documentation (space overhead is 120 since best-fit is default) + (#1491 @hannesm) +- use Option in printing of GC keys (#1491 @hannesm) +- allow to use git 3.15 (#1491 @hannesm) +- allow empty noop job (addresses an issue with #1428) + solves an issue reported by @MisterDA in mirage/mirage-www#815 + (#1491 @hannesm) + ### v4.4.1 (2023-11-20) - Document exit codes in `--help` (#1485 @hannesm)