Add Next sections to change logs.

GaloisInc · Aug 20, 2024 · 9c6c311 · 9c6c311
1 parent 952d84a
commit 9c6c311
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,11 @@
+# next -- TBA
+
+## Language changes
+
+## Bug fixes
+
+## New features
+
 # 3.2.0 -- 2024-08-20
 
 ## Language changes

diff --git a/cryptol-remote-api/CHANGELOG.md b/cryptol-remote-api/CHANGELOG.md
@@ -1,5 +1,8 @@
 # Revision history for `cryptol-remote-api` and `cryptol-eval-server`
 
+## next -- TBA
+
+
 ## 3.2.0 -- 2024-08-20
 
 * The v3.2.0 release is made in tandem with the Cryptol 3.2.0 release. See the

diff --git a/cryptol-remote-api/python/CHANGELOG.md b/cryptol-remote-api/python/CHANGELOG.md
@@ -1,5 +1,7 @@
 # Revision history for `cryptol` Python package
 
+## next -- TBA
+
 ## 3.2.0 -- 2024-08-20
 
 * The v3.2.0 release is made in tandem with the Cryptol 3.2.0 release. See the