patch 8.2.3825: various comments could be improved

Problem: Various comments could be improved. Solution: Improve the comments.
2021-12-16 14:45:13 +00:00
parent 0e6adf8a29
commit 52797bae17
6 changed files with 15 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 */
+/**/
+    3825,
 /**/
    3824,
 /**/