From 15e30a93f37c0b1e61bb725c49e8756aaed8dfb9 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 11 Mar 2022 16:28:01 -0800
Subject: [PATCH] feat: update `RELEASES.md`

---
 RELEASES.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/RELEASES.md b/RELEASES.md
index 4edd762fec..1138186881 100644
--- a/RELEASES.md
+++ b/RELEASES.md
@@ -1,6 +1,8 @@
 v4.0.0-m4 (WIP)
 ---------
 
+* [Fuzzy matching for auto completion](https://github.com/leanprover/lean4/pull/1023)
+
 * Extend dot-notation `x.field` for arrow types. If type of `x` is an arrow, we look up for `Function.field`.
 For example, given `f : Nat → Nat` and `g : Nat → Nat`, `f.comp g` is now notation for `Function.comp f g`.