Merge pull request #3209 from apalache-mc/release/0.51.1

[release] 0.51.1

Author: konnov

CHANGES.md

@@ -1,6 +1,8 @@
 <!-- NOTE: This file is generated. Do not write release notes here.
  Notes for unreleased changes go in the .unreleased/ directory. -->
 
+## 0.51.1 - 2025-11-06
+
 ## 0.51.0 - 2025-11-06
 
 ### Features
@@ -1423,4 +1425,4 @@
 
 ## 0.3.0 [RELEASE]
 
- * the version presented at the TLA+ community meeting 2018 in Oxford
+ * the version presented at the TLA+ community meeting 2018 in Oxford

VERSION

@@ -1 +1 @@
-0.51.1-SNAPSHOT
+0.51.2-SNAPSHOT