Update version numbers etc for v5.3.1

semigroups · Sep 19, 2023 · 9a1a53c · 9a1a53c
1 parent e6c1461
commit 9a1a53c
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 3 deletions.
diff --git a/.VERSION b/.VERSION
@@ -1 +1 @@
-5.3.0
+5.3.1
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -3,6 +3,10 @@ Copyright © 2011-2023 [James D. Mitchell][] et al.
 
 Licensing information can be found in the `LICENSE` file.
 
+### Version 5.3.1 (released 19/09/2023)
+
+This is a minor release fixing a minor issue in the build system.
+
 ### Version 5.3.0 (released 18/09/2023)
 
 This release contains a fairly large number of changes, fixes, and

diff --git a/PackageInfo.g b/PackageInfo.g
@@ -34,8 +34,8 @@ _STANDREWSCS := Concatenation(["Jack Cole Building, North Haugh, ",
 SetPackageInfo(rec(
 PackageName := "Semigroups",
 Subtitle := "A package for semigroups and monoids",
-Version := "5.3.0",
-Date := "18/09/2023",  # dd/mm/yyyy format
+Version := "5.3.1",
+Date := "19/09/2023",  # dd/mm/yyyy format
 License := "GPL-3.0-or-later",
 
 ArchiveFormats := ".tar.gz",

diff --git a/VERSIONS b/VERSIONS
@@ -9,6 +9,7 @@
 ##
 ##
 
+release 5.3.1  - 19/09/2023
 release 5.3.0  - 18/09/2023
 release 5.2.1  - 05/03/2023
 release 5.2.0  - 01/12/2022