patch 8.1.1946: memory error when profiling a function without a script ID

Problem: Memory error when profiling a function without a script ID. Solution: Check for missing script ID. (closes #4877)
2019-08-30 18:37:26 +02:00
parent 9e67b6a6a1
commit 163588005d
3 changed files with 37 additions and 5 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -761,6 +761,8 @@ static char *(features[]) =

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