patch 8.2.2631: commands from winrestcmd() do not always work properly

Problem: Commands from winrestcmd() do not always work properly. (Leonid V. Fedorenchik) Solution: Repeat the size commands twice. (closes #7988)
2021-03-20 19:55:35 +01:00
parent 592f57f5fe
commit a0c8aea479
3 changed files with 31 additions and 9 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -750,6 +750,8 @@ static char *(features[]) =

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