diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
index cabf9e681..4545ec884 100644
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@@ -13,8 +13,10 @@ Version 4.15.0
 - Improved integer cut algorithms for linear integer arithmetic.
   It integrates diophantine equation solving with stronger cuts.
 - C and OCaml API for accessing numerics, thanks to Josh Berdine
+- A minimal mcp server in src/api/z3mcp.py that can run locally.
 - Bug fixes.
 
+
 Version 4.14.1
 ==============
 - Add ubv_to_int, sbv_to_int, int_to_bv to SMTLIB2 API.
diff --git a/scripts/release.yml b/scripts/release.yml
index 1e1b02c3f..85024a7d0 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -587,7 +587,7 @@ stages:
 
      
   - job: NuGetPublish
-    condition: eq(0,1)
+    condition: eq(1,1)
     displayName: "Publish to NuGet.org"
     steps:
     - task: DownloadPipelineArtifact@2