From 2c3171ec369e9ca9541ddf2050c74dc5cd8af9b5 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Thu, 16 Feb 2023 15:54:49 +0100
Subject: [PATCH] [Changes] Update for #357

---
 CHANGES.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/CHANGES.md b/CHANGES.md
index 93458cd4..dfcc1a38 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -6,7 +6,8 @@
    #143, fixes #96)
  - Printing method is now configurable by the user (@ejgallego, #143,
    fixes #321)
- - Trigger completion on quote char "'" (@ejgallego, #)
+ - Trigger completion on quote char "'" (@ejgallego, #350)
+ - Fix typo on keybinding config for show goals (@tomtomjhj, #357)
 
 # coq-lsp 0.1.5: Form
 ---------------------