From ed8ffaae9fd2ca1a46313137327a75cffa04902b Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Thu, 4 Apr 2024 21:08:38 +0200
Subject: [PATCH] [changes] Fix PR number.

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

diff --git a/CHANGES.md b/CHANGES.md
index db9df64a..aa7cab86 100644
--- 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
 -----------------------------