Merge pull request #2848 from informalsystems/update-changelog

Update changelog
apalache-mc · Mar 4, 2024 · a65de50 · a65de50
2 parents 6c72f4a + ef5801d
commit a65de50
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.unreleased/features/grpc-mem.md b/.unreleased/features/grpc-mem.md
@@ -0,0 +1 @@
+Increase the Apalache server's  gRPC message size limit from 8MB to 64MB. (#2847)