commit c96272e30e2b81e5e0c8418f09d9db4e2fcd5d73
author Bram Moolenaar <Bram@vim.org> Sun Mar 26 13:50:09 2017 +0200
committer Bram Moolenaar <Bram@vim.org> Sun Mar 26 13:50:09 2017 +0200
tree f8434ca5d83eabd03868e5e2ddfff45c976067f1
parent 1572e30607e9a3bee9750242bf37168f7d2b6e66

patch 8.0.0513: getting name of cleared highlight group is wrong

Problem:    Getting name of cleared highlight group is wrong. (Matt Wozniski)
Solution:   Only skip over cleared names for completion. (closes #1592)
            Also fix that a cleared group causes duplicate completions.

src/version.c

diff --git a/src/version.c b/src/version.c
index 3ebe8a6..28f3c59 100644
--- a/src/version.c
+++ b/src/version.c
@@ -765,6 +765,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    513,
+/**/
     512,
 /**/
     511,