From eac52219e4fbeee5ed9a72b347fe537e945f67da Mon Sep 17 00:00:00 2001
From: James Mitchell <jdm3@st-and.ac.uk>
Date: Mon, 1 Oct 2018 14:20:06 +0100
Subject: [PATCH] Update version numbers etc. for v3.0.20

---
 CHANGELOG.md  | 30 ++++++++++++++++++++++++++++++
 PackageInfo.g |  8 ++++----
 VERSION       |  2 +-
 VERSIONS      |  1 +
 4 files changed, 36 insertions(+), 5 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 69e6fc818..021bfc19c 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,36 @@
 
 #### Copyright (C) 2011-18 James D. Mitchell et al.<br/>Licensing information can be found in the LICENSE file.
 
+### Version 3.0.20 (released 01/10/2018)
+
+This version contains some minor changes related to compatibility issues with
+GAP, was updated to use libsemigroups 0.6.4, and contains bugfixes for the
+following issues:
+
+* [Issue 530](https://github.com/gap-packages/Semigroups/issues/530): there was
+  a bug in the method for `IsFactorisableInverseMonoid` for an ideal of
+  semigroup. It only returned `true` if the parent semigroup was factorisable. 
+  [[J. D. Mitchell](http://www-groups.mcs.st-andrews.ac.uk/~jamesm/)]
+
+* [Issue 531](https://github.com/gap-packages/Semigroups/issues/531): there
+  were some issues with method selection for Green's classes, when the RCWA
+  package was loaded at the same time as [Semigroups](https://gap-packages.github.io/Semigroups/).
+  [[Wilf A. Wilson](http://wilf.me)]
+
+*  [Issue 532](https://github.com/gap-packages/Semigroups/issues/532): the
+   `Iterator` method for free inverse monoids used some implementational
+   details of the method for free group iterators in the GAP library. This
+   caused an error to be reported when [Semigroups](https://gap-packages.github.io/Semigroups/) and RCWA were loaded at the same time.
+   [[J. D. Mitchell](http://www-groups.mcs.st-andrews.ac.uk/~jamesm/)]
+
+*  [Issue 536](https://github.com/gap-packages/Semigroups/issues/536): the
+   `Iterator` method for free inverse monoids did not work as intended, because
+   some words could never be reached.
+   [[J. D. Mitchell](http://www-groups.mcs.st-andrews.ac.uk/~jamesm/)]
+
+*  [Issue 543](https://github.com/gap-packages/Semigroups/issues/543): the [Semigroups](https://gap-packages.github.io/Semigroups/) tests failed when all packages were loaded. 
+  [[Wilf A. Wilson](http://wilf.me)]
+
 ### Version 3.0.19 (released 18/09/2018)
 
 This version contains some minor changes related to compatibility issues with
diff --git a/PackageInfo.g b/PackageInfo.g
index 5094a0ff9..2f825bdd4 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -9,13 +9,13 @@
 ##
 
 ##  <#GAPDoc Label="PKGVERSIONDATA">
-##  <!ENTITY VERSION "3.0.19">
+##  <!ENTITY VERSION "3.0.20">
 ##  <!ENTITY GAPVERS "4.9.0">
 ##  <!ENTITY DIGRAPHSVERS "0.12.0">
 ##  <!ENTITY ORBVERS "4.8.0">
 ##  <!ENTITY IOVERS "4.5.1">
 ##  <!ENTITY GENSSVERS "1.6.5">
-##  <!ENTITY ARCHIVENAME "semigroups-3.0.19">
+##  <!ENTITY ARCHIVENAME "semigroups-3.0.20">
 ##  <!ENTITY COPYRIGHTYEARS "2011-18">
 ##  <#/GAPDoc>
 
@@ -47,8 +47,8 @@ _STANDREWS := Concatenation(["Mathematical Institute, ",
 SetPackageInfo(rec(
 PackageName := "Semigroups",
 Subtitle := "A package for semigroups and monoids",
-Version := "3.0.19",
-Date := "18/09/2018",
+Version := "3.0.20",
+Date := "01/10/2018",
 ArchiveFormats := ".tar.gz",
 
 SourceRepository := rec(
diff --git a/VERSION b/VERSION
index 25875f018..3e4a61b7a 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-3.0.19
+3.0.20
diff --git a/VERSIONS b/VERSIONS
index 7704311d8..8db837684 100644
--- a/VERSIONS
+++ b/VERSIONS
@@ -9,6 +9,7 @@
 ##
 ##
 
+release 3.0.20 - 01/10/2018
 release 3.0.19 - 18/09/2018
 release 3.0.18 - 11/09/2018
 release 3.0.17 - 23/08/2018