patch 8.1.1717: last char in menu popup window highlighted

Problem:    Last char in menu popup window highlighted.
Solution:   Do not highlight an extra character twice.
diff --git a/src/version.c b/src/version.c
index 20fdb1e..47b044f 100644
--- a/src/version.c
+++ b/src/version.c
@@ -778,6 +778,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    1717,
+/**/
     1716,
 /**/
     1715,