[readme] Changelog for #536

ejgallego · Sep 15, 2023 · 8e7670a · 8e7670a
1 parent 9574e4b
commit 8e7670a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -3,6 +3,8 @@
 
  - Update VSCode client dependencies, should bring some performance
    improvements to goal pretty printing (@ejgallego, #530)
+ - Added link to Python coq-lsp client by Pedro Carrot and Nuno
+   Saavedra (@Nfsaavedra, #536)
 
 # coq-lsp 0.1.7: Just-in-time
 -----------------------------