commit c4da113ef98dcfd6f2a088b1693c0317dcb5bf42
author Bram Moolenaar <Bram@vim.org> Sat Jul 15 19:39:43 2017 +0200
committer Bram Moolenaar <Bram@vim.org> Sat Jul 15 19:39:43 2017 +0200
tree bde8ae5c94f11e87cd89fed4e0c94416b830fedf
parent a92522fbf3a49d06e08caf010f7d7b0f58d2e131

patch 8.0.0716: not easy to start Vim cleanly

Problem:    Not easy to start Vim cleanly without changing the viminfo file.
            Not possible to know whether the -i command line flag was used.
Solution:   Add the --clean command line argument.  Add the 'viminfofile'
            option.  Add "-u DEFAULTS".

src/version.c

diff --git a/src/version.c b/src/version.c
index c8322cd..09b3b85 100644
--- a/src/version.c
+++ b/src/version.c
@@ -765,6 +765,10 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    716,
+/**/
+    715,
+/**/
     714,
 /**/
     713,