patch 8.1.1712: signs in number column cause text to be misaligned

Problem: Signs in number column cause text to be misaligned. Solution: Improve alignment. (Yasuhiro Matsumoto, closes #4694)
2019-07-18 12:48:16 +02:00
parent acf7544cf6
commit d6bcff4577
3 changed files with 16 additions and 2 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -777,6 +777,8 @@ static char *(features[]) =

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