patch 8.2.5138: various small issues

Problem: Various small issues. Solution: Various small improvments.
2022-06-20 11:38:17 +01:00
parent 509ce03831
commit 8088ae95bb
6 changed files with 11 additions and 8 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -734,6 +734,8 @@ static char *(features[]) =

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