Merge pull request #875 from gdt/feature.version

Bump version to 2.53.2 and add NEWS
bcpierce00 · Mar 20, 2023 · 43b9875 · 43b9875
2 parents 8e01d8a + 7627a6b
commit 43b9875
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 2 deletions.
diff --git a/NEWS.md b/NEWS.md
@@ -12,6 +12,12 @@ As of 2022, this file (NEWS.md at top level) is used for news.
 Some software has a "changelog" file that records all changes, but
 unison uses git history for that, and thus there is no changelog file.
 
+## Changes in 2.53.2
+
+Released 2023-03-20
+
+  * Change version string to 2.53.2 (2.53.1 identified as 2.53.0).
+
 ## Changes in 2.53.1
 
 Released 2023-03-19

diff --git a/src/Makefile.ProjectInfo b/src/Makefile.ProjectInfo
@@ -1,5 +1,5 @@
 MAJORVERSION=2.53
 
-VERSION=2.53.0
+VERSION=2.53.2
 
 NAME=unison
diff --git a/src/strings.ml b/src/strings.ml
@@ -4,7 +4,7 @@
 let docs =
     ("about", ("About Unison", 
      "Unison File Synchronizer\n\
-      Version 2.53.0\n\
+      Version 2.53.2\n\
       \n\
       "))
 ::