From def054470094be478c9f1d3ce9237df92fb0819b Mon Sep 17 00:00:00 2001 From: Romain Calascibetta Date: Fri, 8 Apr 2022 13:56:44 +0200 Subject: [PATCH] Prepare v3.8.1 --- CHANGES.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index 36354ac40..7a08da6c1 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -6,6 +6,10 @@ - Fix dependencies of `guit` (@maiste, @dinosaure, #560) - Move the `happy-eyeballs` layer needed by MirageOS into `mimic.0.0.5` (@dinosaure, #563) +### 3.8.1 (2022-04-08) Paris - France + +- Fix the push process with a copy of illegal shared bigarray (@dinosaure, 5e5392f) + ### 3.8.0 (2022-02-03) Paris - France - Adapt `git-mirage` with `awa.0.1.0` (@hannesm, #553)