Update version numbers etc for v5.3.8

.VERSION

@@ -1 +1 @@
-5.3.7
+5.4.0

.mailmap

@@ -8,6 +8,7 @@ Joseph Edwards <jde1@st-andrews.ac.uk> Joe Edwards <80713360+Joseph-Edwards@user
 Joseph Edwards <jde1@st-andrews.ac.uk> Joseph Edwards <josephdavidedwards@gmail.com>
 Luke Elliott <le27@st-andrews.ac.uk> le27 <le27@st-andrews.ac.uk>
 Fernando Flores Brito <ffloresbrito@gmail.com> Fernando Flores Brito <ffb3@st-andrews.ac.uk>
+Tillman Froehlich <trf1@st-andrews.ac.uk> Tillman <47321884+awesometillman@users.noreply.github.com>
 Nick Ham <nicholas.charles.ham@gmail.com>
 Robert Hancock <hancock@informatik.uni-heidelberg.de> Robert Hancock <unknown>
 Max Horn <horn@mathematik.uni-kl.de> Max Horn <max@quendi.de>
@@ -19,6 +20,7 @@ Olexandr Konovalov <obk1@st-andrews.ac.uk> Alexander Konovalov <alex-konovalov@u
 Olexandr Konovalov <obk1@st-andrews.ac.uk> Alexander Konovalov <alexk@mcs.st-andrews.ac.uk>
 Olexandr Konovalov <obk1@st-andrews.ac.uk> Olexandr Konovalov <5751387+olexandr-konovalov@users.noreply.github.com>
 Artemis Konstantinidi <ak316@st-andrews.ac.uk> artemiskonst <97620468+artemiskonst@users.noreply.github.com>
+Hyeokjun Kwon <hk78@st-andrews.ac.uk> Hyeokjun Kwon <rnjsgurwns27@gmail.com>
 James Mitchell <jdm3@st-andrews.ac.uk> <jdm3@st-and.ac.uk>
 James Mitchell <jdm3@st-andrews.ac.uk> <jdm3@st-andrews.ac.uk>
 James Mitchell <jdm3@st-andrews.ac.uk> <jenkyfunds@gmail.com>
@@ -39,6 +41,7 @@ Chris Wensley <cdwensley.maths@btinternet.com> cdwensley <cdwensley.maths@btinte
 Murray Whyte <mw231@st-andrews.ac.uk> Murray Whyte <42549861+MTWhyte@users.noreply.github.com>
 Wilf Wilson <gap@wilf-wilson.net> Wilf Wilson <wilf@wilf-wilson.net>
 Wilf Wilson <gap@wilf-wilson.net> wilfwilson <wilf@wilf-wilson.net>
+Tianrun Yang <ty39@st-andrews.ac.uk> Tianrun Yang <117233646+Tianrun-Y@users.noreply.github.com>
 Michael Young <mct25@st-andrews.ac.uk> <mct25@st-andrews.ac.uk>
 Michael Young <mct25@st-andrews.ac.uk> <mtorpey@mtorpey-debtest>
 Michael Young <mct25@st-andrews.ac.uk> mct25 <unknown>

CHANGELOG.md

@@ -3,6 +3,12 @@ Copyright © 2011-2024 [James D. Mitchell][] et al.
 
 Licensing information can be found in the `LICENSE` file.
 
+## Version 5.4.0 (released 27/08/2024)
+
+This is a fairly minor release that includes a single new feature (constructors
+for free semilattices), and a number of minor bug fixes, and other
+improvements.
+
 ## Version 5.3.7 (released 11/03/2024)
 
 This is a minor release with some changes for compatibility with GAP.

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.7",
-Date := "11/03/2024",  # dd/mm/yyyy format
+Version := "5.4.0",
+Date := "27/08/2024",  # dd/mm/yyyy format
 License := "GPL-3.0-or-later",
 
 ArchiveFormats := ".tar.gz",
@@ -152,6 +152,13 @@ Persons := [
     Email         := "ffloresbrito@gmail.com",
     WWWHome       := "https://github.com/ffloresbrito"),
 
+  rec(
+    LastName      := "Froehlich",
+    FirstNames    := "Tillman",
+    IsAuthor      := true,
+    IsMaintainer  := false,
+    Email         := "trf1@st-andrews.ac.uk"),
+
   rec(
     LastName      := "Ham",
     FirstNames    := "Nick",
@@ -206,6 +213,12 @@ Persons := [
     WWWHome       := "http://julius.jonusas.work",
     Place         := "Brussels, Belgium"),
 
+  rec(LastName     := "Kwon",
+      FirstNames   := "Hyeokjun",
+      IsAuthor     := false,
+      IsMaintainer := false,
+      Email        := "hk78@st-andrews.ac.uk"),
+
   rec(
     LastName      := "Nagpal",
     FirstNames    := "Chinmaya",
@@ -344,6 +357,13 @@ Persons := [
      Email         := "gap@wilf-wilson.net",
      WWWHome       := "https://wilf.me"),
 
+   rec(
+     LastName      := "Yang",
+     FirstNames    := "Tianrun",
+     IsAuthor      := true,
+     IsMaintainer  := false,
+     Email         := "ty39@st-andrews.ac.uk"),
+
    rec(
      LastName      := "Young",
      FirstNames    := "Michael",

VERSIONS

@@ -9,6 +9,7 @@
 ##
 ##
 
+release 5.4.0  - 27/08/2024
 release 5.3.7  - 11/03/2024
 release 5.3.6  - 19/02/2024
 release 5.3.5  - 14/02/2024