patch 8.2.3887: E1135 is used for two different errors

Problem: E1135 is used for two different errors. Solution: Renumber one error.
2021-12-24 19:54:52 +00:00
parent b6db146762
commit 806da5176e
3 changed files with 6 additions and 4 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -749,6 +749,8 @@ static char *(features[]) =

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