From c78f6c5ee513a9b0c1a703935b9745c596cd51d1 Mon Sep 17 00:00:00 2001
From: yoavelmalem <yoav.el@certora.com>
Date: Sun, 12 Jan 2025 10:16:30 +0200
Subject: [PATCH] Updated dates to January 12th.

---
 docs/prover/changelog/gui_changelog.md    | 2 +-
 docs/prover/changelog/prover_changelog.md | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/prover/changelog/gui_changelog.md b/docs/prover/changelog/gui_changelog.md
index 36759418..1c06d700 100644
--- 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
index 6cc6e17b..5b5c6acb 100644
--- 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.