Merge pull request #2849 from informalsystems/release/0.44.6

[release] 0.44.6
apalache-mc · Mar 4, 2024 · 23dfad9 · 23dfad9
2 parents a65de50 + 883ac5b
commit 23dfad9
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 2 deletions.
diff --git a/.unreleased/features/grpc-mem.md b/.unreleased/features/grpc-mem.md
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,6 +1,12 @@
 <!-- NOTE: This file is generated. Do not write release notes here.
  Notes for unreleased changes go in the .unreleased/ directory. -->
 
+## 0.44.6 - 2024-03-04
+
+### Features
+
+- Increase the Apalache server's  gRPC message size limit from 8MB to 64MB. (#2847)
+
 ## 0.44.5 - 2024-02-05
 
 ### Bug fixes

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.44.6-SNAPSHOT
+0.44.7-SNAPSHOT