diff --git a/RELEASE.md b/RELEASE.md new file mode 100644 index 0000000000..6401d43f98 --- /dev/null +++ b/RELEASE.md @@ -0,0 +1,5 @@ +## 0.44.6 - 2024-03-04 + +### Features + +- Increase the Apalache server's gRPC message size limit from 8MB to 64MB. (#2847) diff --git a/VERSION b/VERSION index 204317b015..616c0bf9cd 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.44.6-SNAPSHOT +0.44.6