[ new ] Release v0.4.7

banacorn · Dec 16, 2023 · 334ea90 · 334ea90
1 parent 8cad783
commit 334ea90
Show file tree

Hide file tree

Showing 5 changed files with 521 additions and 985 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -5,6 +5,16 @@ 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/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html)
 
+## v0.4.7 - 2023-12-16
+
+### Change
+- Fetch the latest release of Agda Language Server from GitHub
+
+### Fixed
+- #172: "Connection Error: Unable to find Agda Language Server" Error downloading language server?
+- #176: Many Unicode input sequences no longer work by [@szumixie](https://github.com/szumixie)
+- #177: Update `asset/keymap.js` by [@szumixie](https://github.com/szumixie)
+
 ## v0.4.6 - 2023-12-09
 
 ### Fixed

diff --git a/lib/js/src/Connection/Connection.bs.js b/lib/js/src/Connection/Connection.bs.js