patch 8.2.1893: fuzzy matching does not support multiple words

Problem: Fuzzy matching does not support multiple words. Solution: Add support for matching white space separated words. (Yegappan Lakshmanan, closes #7163)
2020-10-23 16:50:30 +02:00
parent 9c24cd11e2
commit 8ded5b647a
4 changed files with 195 additions and 59 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -750,6 +750,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    1893,
 /**/
    1892,
 /**/