patch 8.2.3599: not all gdbinit files are recognized

Problem: Not all gdbinit files are recognized. Solution: Add "gdbinit". (Doug Kearns)
2021-11-16 11:10:11 +00:00
parent 0818ab82e7
commit 782b4bbc16
3 changed files with 4 additions and 2 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -757,6 +757,8 @@ static char *(features[]) =

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