[changes] Fix PR number.

ejgallego · Apr 4, 2024 · ed8ffaa · ed8ffaa
1 parent 516c487
commit ed8ffaa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -64,7 +64,7 @@
    space used in the cache (@ejgallego, #662, fixes #367 cc: #253 #236
    #348)
  - fix Coq performance view display (@ejgallego, #663, regression in
-   #507)
+   #513)
 
 # coq-lsp 0.1.8.1: Spring fix
 -----------------------------