Updated dates to January 12th.

Certora · Jan 12, 2025 · c78f6c5 · c78f6c5
1 parent 45f4b2b
commit c78f6c5
Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/prover/changelog/gui_changelog.md b/docs/prover/changelog/gui_changelog.md
@@ -4,7 +4,7 @@ GUI Release Notes
 ```{contents}
 ```
 
-3.1.1 (Jan 9, 2025)
+3.1.1 (Jan 12, 2025)
 ---------------------------
 
 ### Features

diff --git a/docs/prover/changelog/prover_changelog.md b/docs/prover/changelog/prover_changelog.md
@@ -5,7 +5,7 @@ Prover Release Notes
 ```{contents}
 ```
 
-7.22.2 (Jan 9, 2025)
+7.22.2 (Jan 12, 2025)
 ----------------------
 ### Rule Report
 - [feat] Support for displaying numeric values in string, decimal, or hexadecimal formats in Call Trace and Variables tabs, with a dropdown to switch formats.