patch 8.1.0072: use of 'termwinkey' is inconsistent

Problem: Use of 'termwinkey' is inconsistent. Solution: Change the documentation and the behavior. (Ken Takata)
2018-06-17 22:19:12 +02:00
parent b3307b5e7e
commit dcdeaaf150
3 changed files with 12 additions and 4 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -761,6 +761,8 @@ static char *(features[]) =

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