semicolon

leanprover-community · Aug 2, 2024 · d5afe92 · d5afe92
1 parent dc8c755
commit d5afe92
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/monthly_summary.sh b/monthly_summary.sh
@@ -129,4 +129,4 @@ rm -rf found_by_gh.txt found_by_git.txt
     s=\n---\nReports\n\n=\n</details>\n\n---\n\n<details><summary>Reports</summary>\n\n=
     s=\n---[\n]*$=\n\n</details>\n&=
   '
-fi }
+fi ; }