[Changes] Update for #357

ejgallego · Feb 16, 2023 · 2c3171e · 2c3171e
1 parent e0ec889
commit 2c3171e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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
 ---------------------