diff --git a/.unreleased/features/shai-tla-reply.md b/.unreleased/features/shai-tla-reply.md deleted file mode 100644 index a5c78c75f2..0000000000 --- a/.unreleased/features/shai-tla-reply.md +++ /dev/null @@ -1,2 +0,0 @@ -Add command to the server's `CmdExecutor` that will reply with formatted TLA+ -derived from parsing the provide input. (#2852) diff --git a/CHANGES.md b/CHANGES.md index 3e2ed1df0b..a61ed3ff63 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,6 +1,12 @@ +## 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) + ## 0.44.6 - 2024-03-04 ### Features diff --git a/VERSION b/VERSION index 70f966171b..3a6eef1337 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.44.7-SNAPSHOT +0.44.8-SNAPSHOT