Update version numbers etc for 4.0.2

.VERSION

@@ -1 +1 @@
-4.0.1
+4.0.2

CHANGELOG.md

@@ -3,6 +3,21 @@ Copyright © 2011-2022 [James D. Mitchell][] et al.
 
 Licensing information can be found in the `LICENSE` file.
 
+### Version 4.0.2 (released 05/06/2022)
+
+This is a minor release that includes a number of minor fixes:
+
+* conglatt: fix ordering issue by @james-d-mitchell in
+  https://github.com/semigroups/Semigroups/pull/829
+* Add support for partial orders of L/R-classes by @wilfwilson in
+  https://github.com/semigroups/Semigroups/pull/415
+* conglatt: avoid recomputing principal congs by @james-d-mitchell in
+  https://github.com/semigroups/Semigroups/pull/832
+* semipperm: allow SmallerDegree for other types by @james-d-mitchell in
+  https://github.com/semigroups/Semigroups/pull/833
+* semipperm: resolve issue 817 by @james-d-mitchell in
+  https://github.com/semigroups/Semigroups/pull/834
+
 ### Version 4.0.1 (released 21/04/2022)
 
 This is a minor release that includes a number of changes:

PackageInfo.g

@@ -36,8 +36,8 @@ _STANDREWS := Concatenation(["Mathematical Institute, ",
 SetPackageInfo(rec(
 PackageName := "Semigroups",
 Subtitle := "A package for semigroups and monoids",
-Version := "4.0.1",
-Date := "21/04/2022",  # dd/mm/yyyy format
+Version := "4.0.2",
+Date := "05/06/2022",  # dd/mm/yyyy format
 License := "GPL-3.0-or-later",
 
 ArchiveFormats := ".tar.gz",

VERSIONS

@@ -9,6 +9,7 @@
 ##
 ##
 
+release 4.0.2  - 05/06/2022
 release 4.0.1  - 21/04/2022
 release 4.0.0  - 28/02/2022
 release 3.4.2  - 07/02/2021