From efffa24640faeb609a9f9d49038c1aa99ad6a37b Mon Sep 17 00:00:00 2001 From: Shon Feder Date: Wed, 6 Mar 2024 23:38:37 -0500 Subject: [PATCH] Update changelog --- .unreleased/features/shai-tla-reply.md | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 .unreleased/features/shai-tla-reply.md diff --git a/.unreleased/features/shai-tla-reply.md b/.unreleased/features/shai-tla-reply.md new file mode 100644 index 0000000000..a5c78c75f2 --- /dev/null +++ b/.unreleased/features/shai-tla-reply.md @@ -0,0 +1,2 @@ +Add command to the server's `CmdExecutor` that will reply with formatted TLA+ +derived from parsing the provide input. (#2852)