Search: Add changelog entry

panglesd · jonludlam · commit 8a2241e2969d · 2023-10-27T20:36:06.000+01:00
Signed-off-by: Paul-Elliot &lt;peada@free.fr&gt;
diff --git a/CHANGES.md b/CHANGES.md
@@ -13,6 +13,7 @@ Tags:
 
 ### Added
 - Display 'private' keyword for private type extensions (@gpetiot, #1019)
+- Add support for search (@panglesd, @EmileTrotignon, #972)
 
 ### Fixed
 
