diff --git a/RELEASE.md b/RELEASE.md new file mode 100644 index 0000000000..cde0b87b25 --- /dev/null +++ b/RELEASE.md @@ -0,0 +1,5 @@ +## 0.44.7 - 2024-03-07 + +### Features + +- Add command to the server's `CmdExecutor` that will reply with formatted TLA+ derived from parsing the provide input. (#2852) diff --git a/VERSION b/VERSION index 70f966171b..541e90a8e8 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.44.7-SNAPSHOT +0.44.7