doc: changelog

leanprover · Apr 15, 2022 · d721976 · d721976
1 parent 63ce37e
commit d721976
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,9 @@
+# Unreleased
+
+## Added
+
+- Actual support for ARM64 macOS (M1)
+
 # 1.4.0 - 2022-03-28
 
 ## Added