[ new ] Release Language Server v4 that supports Agda-2.7.0.1, Agda-2…

….6.4.3, and Agda-2.6.3
agda · Dec 6, 2024 · acfe0db · acfe0db
1 parent 38bbdf7
commit acfe0db
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,6 +4,11 @@ All notable changes to this project will be documented in this file.
 
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 
+## v0.2.7.0.1.4 - 2024-12-6
+
+### Changed
+- Target only 3 versions of Agda at a time: Agda-2.7.0.1, Agda-2.6.4.3, and Agda-2.6.3.
+
 ## v0.2.7.0.1.3 - 2024-12-5
 
 ### Fixed