From 9a1a53c4fc95d7529938cd62b4b6359f7cd86334 Mon Sep 17 00:00:00 2001 From: "James D. Mitchell" Date: Tue, 19 Sep 2023 14:44:48 +0100 Subject: [PATCH] Update version numbers etc for v5.3.1 --- .VERSION | 2 +- CHANGELOG.md | 4 ++++ PackageInfo.g | 4 ++-- VERSIONS | 1 + 4 files changed, 8 insertions(+), 3 deletions(-) diff --git a/.VERSION b/.VERSION index 03f488b07..c7cb1311a 100644 --- a/.VERSION +++ b/.VERSION @@ -1 +1 @@ -5.3.0 +5.3.1 diff --git a/CHANGELOG.md b/CHANGELOG.md index cfa9930a3..eeea518b7 100644 --- 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 index 47f06d461..3243a0c51 100644 --- 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 index 6fd296228..478dabae2 100644 --- 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