patch 9.0.1367: divide by zero in zero-width window

Problem: Divide by zero in zero-width window. Solution: Check the width is positive.
2023-03-01 17:55:31 +00:00
parent ad60898aa4
commit e0f8691969
3 changed files with 32 additions and 11 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -695,6 +695,8 @@ static char *(features[]) =

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