Finalize 3.1.0 dates

GaloisInc · Feb 5, 2024 · 3cf3210 · 3cf3210
1 parent 9ca5fe4
commit 3cf3210
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,4 +1,4 @@
-# 3.1.0 -- 2024-??-??
+# 3.1.0 -- 2024-02-05
 
 ## Language changes
 

diff --git a/cryptol-remote-api/CHANGELOG.md b/cryptol-remote-api/CHANGELOG.md
@@ -1,6 +1,6 @@
 # Revision history for `cryptol-remote-api` and `cryptol-eval-server`
 
-## 3.1.0 -- 2024-??-??
+## 3.1.0 -- 2024-02-05
 
 * The v3.1.0 release is made in tandem with the Cryptol 3.1.0 release. See the
   Cryptol 3.1.0 release notes for relevant Cryptol changes.

diff --git a/cryptol-remote-api/python/CHANGELOG.md b/cryptol-remote-api/python/CHANGELOG.md
@@ -1,6 +1,6 @@
 # Revision history for `cryptol` Python package
 
-## 3.1.0 -- 2024-??-??
+## 3.1.0 -- 2024-02-05
 
 * The v3.1.0 release is made in tandem with the Cryptol 3.1.0 release. See the
   Cryptol 3.1.0 release notes for relevant Cryptol changes.