commit b3623a382abc8f8e2bcfba4c1a2aa06b7578eb8d
author Bram Moolenaar <Bram@vim.org> Sat Apr 14 18:59:50 2018 +0200
committer Bram Moolenaar <Bram@vim.org> Sat Apr 14 18:59:50 2018 +0200
tree 945be9af9b64231e8cc4a631a01faab41a151c67
parent 8c041b6b95f49f7383cf00e2036cf009b326fa8d

patch 8.0.1713: terminal debugger doesn't handle arguments

Problem:    Terminal debugger doesn't handle arguments.
Solution:   Use <f-args> and pass all the arguments to gdb, e.g. the core file
            or process number. (suggested by Christian Brabandt) Disallow
            starting the debugger twice.

src/version.c

diff --git a/src/version.c b/src/version.c
index 41b9721..b76ccf4 100644
--- a/src/version.c
+++ b/src/version.c
@@ -763,6 +763,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    1713,
+/**/
     1712,
 /**/
     1711,