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/RELEASE.md b/RELEASE.md deleted file mode 100644 index cde0b87b25..0000000000 --- a/RELEASE.md +++ /dev/null @@ -1,5 +0,0 @@ -## 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 541e90a8e8..3a6eef1337 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.44.7 +0.44.8-SNAPSHOT