patch 8.2.4817: Win32 GUI: modifiers are not always used

Problem: Win32 GUI: modifiers are not always used. Solution: Handle more modifiers. (closes #10269)
2022-04-24 15:46:42 +01:00
parent 490ac3fe98
commit 45684c6ec4
2 changed files with 42 additions and 37 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -746,6 +746,8 @@ static char *(features[]) =

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