diff --git a/src/syntax.c b/src/syntax.c
index 6cd583498b..f2df13a3f0 100644
--- a/src/syntax.c
+++ b/src/syntax.c
@@ -6689,6 +6689,7 @@ syntime_report()
 	msg_outtrans_len(p->pattern, len);
 	MSG_PUTS("\n");
     }
+    ga_clear(&ga);
     if (!got_int)
     {
 	MSG_PUTS("\n");
diff --git a/src/version.c b/src/version.c
index fb110321df..b3c7be5739 100644
--- a/src/version.c
+++ b/src/version.c
@@ -728,6 +728,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    1142,
 /**/
     1141,
 /**/