patch 8.2.4035: timer triggered at the debug prompt may cause trouble

Problem: Timer triggered at the debug prompt may cause trouble. Solution: Do not trigger any timer at the debug prompt. (closes #9481)
2022-01-07 20:40:08 +00:00
parent 62a099cc6d
commit 48d0ac775c
2 changed files with 5 additions and 2 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 */
+/**/
+    4035,
 /**/
    4034,
 /**/