Merge pull request #2827 from informalsystems/release/0.44.5

[release] 0.44.5
apalache-mc · Feb 5, 2024 · 5754703 · 5754703
2 parents 0549ef7 + 1a9ba26
commit 5754703
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 3 deletions.
diff --git a/.unreleased/bug-fixes/2811-server-bind-error.md b/.unreleased/bug-fixes/2811-server-bind-error.md
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,6 +1,12 @@
 <!-- NOTE: This file is generated. Do not write release notes here.
  Notes for unreleased changes go in the .unreleased/ directory. -->
 
+## 0.44.5 - 2024-02-05
+
+### Bug fixes
+
+- When expected server port is already bound, report clean user error instead of crashing with a traceback  (#2676).
+
 ## 0.44.4 - 2024-01-29
 
 ### Bug fixes

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.44.5-SNAPSHOT
+0.44.6-SNAPSHOT