From ae2c1d994d712704fd0475789014eb3023a33ede Mon Sep 17 00:00:00 2001
From: Gabriel Nordeborn <gabbe.nord@gmail.com>
Date: Thu, 15 Sep 2022 08:19:15 +0200
Subject: [PATCH] add pct to encode

---
 analysis/src/Hover.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/analysis/src/Hover.ml b/analysis/src/Hover.ml
index 8032df250..2d0271dec 100644
--- a/analysis/src/Hover.ml
+++ b/analysis/src/Hover.ml
@@ -29,6 +29,7 @@ let encodeURIComponent text =
       | '=' -> Buffer.add_string buf "%3D"
       | '?' -> Buffer.add_string buf "%3F"
       | '@' -> Buffer.add_string buf "%40"
+      | '%' -> Buffer.add_string buf "%25"
       | c -> Buffer.add_char buf c);
       loop (i + 1))
   in