diff --git a/.unreleased/features/grpc-mem.md b/.unreleased/features/grpc-mem.md deleted file mode 100644 index 0b16f20bc6..0000000000 --- a/.unreleased/features/grpc-mem.md +++ /dev/null @@ -1 +0,0 @@ -Increase the Apalache server's gRPC message size limit from 8MB to 64MB. (#2847) diff --git a/CHANGES.md b/CHANGES.md index 26c8b7079b..3e2ed1df0b 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,6 +1,12 @@ +## 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 index 204317b015..70f966171b 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.44.6-SNAPSHOT +0.44.7-SNAPSHOT