From 14eb5bb1b7ebda51bc00e1bf5dda5ecf85659f46 Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Wed, 3 Aug 2022 09:07:39 -0700
Subject: [PATCH] Update release date

---
 docs/CHANGELOG.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/CHANGELOG.md b/docs/CHANGELOG.md
index 2d730c433e2..d3db7ccc934 100644
--- a/docs/CHANGELOG.md
+++ b/docs/CHANGELOG.md
@@ -1,4 +1,4 @@
-Version 3.24.0 (August 2, 2022)
+Version 3.24.0 (August 3, 2022)
 -------------------------------
 
 **User-visible changes:**
@@ -13,7 +13,7 @@ Prefer `SystemUtil.jreVersion` to `SystemUtil.getJreVersion()`.
 
 **Closed issues:**
 
-#5200
+#5200, #5216
 
 
 Version 3.23.0 (July 11, 2022)