From 737f1d83052363175c547070fc20dc5cc09d66a7 Mon Sep 17 00:00:00 2001
From: Wilf Wilson <wilf@wilf-wilson.net>
Date: Wed, 12 Jun 2019 15:21:24 +0200
Subject: [PATCH] Update package for v0.15.3 release

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 0e8e4d795..fbd4f4ed8 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -3,6 +3,12 @@ Copyright (C) 2014-19 by Jan De Beule, Julius Jonušas, James D. Mitchell, Micha
 
 Licensing information can be found in the LICENSE file.
 
+## Version 0.15.3 (released 12/06/2019)
+
+This is a minor release that fixes a typo in the documentation of
+`JohnsonDigraph`, and contains some minor tweaks for compatibility with
+future versions of GAP.
+
 ## Version 0.15.2 (released 17/04/2019)
 
 This is a minor release that updates Digraphs for compatibility with the
diff --git a/PackageInfo.g b/PackageInfo.g
index 477f702b2..764e77d9a 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -9,20 +9,20 @@
 ##
 
 ##  <#GAPDoc Label="PKGVERSIONDATA">
-##  <!ENTITY VERSION        "0.15.2">
+##  <!ENTITY VERSION        "0.15.3">
 ##  <!ENTITY GAPVERS        "4.9.0">
 ##  <!ENTITY GRAPEVERS      "4.8.1">
 ##  <!ENTITY IOVERS         "4.5.1">
 ##  <!ENTITY ORBVERS        "4.8.2">
-##  <!ENTITY ARCHIVENAME    "digraphs-0.15.2">
+##  <!ENTITY ARCHIVENAME    "digraphs-0.15.3">
 ##  <!ENTITY COPYRIGHTYEARS "2014-19">
 ##  <#/GAPDoc>
 
 SetPackageInfo(rec(
 PackageName := "Digraphs",
 Subtitle := "Graphs, digraphs, and multidigraphs in GAP",
-Version := "0.15.2",
-Date := "17/04/2019",  # dd/mm/yyyy format
+Version := "0.15.3",
+Date := "12/06/2019",  # dd/mm/yyyy format
 License := "GPL-3.0-or-later",
 ArchiveFormats := ".tar.gz",
 
diff --git a/VERSION b/VERSION
index 4312e0d0c..1985d9141 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.15.2
+0.15.3
diff --git a/VERSIONS b/VERSIONS
index 35d19ae06..3143422b1 100644
--- a/VERSIONS
+++ b/VERSIONS
@@ -8,6 +8,7 @@
 #############################################################################
 ##
 
+release 0.15.3 - 12/06/2019
 release 0.15.2 - 17/04/2019
 release 0.15.1 - 26/03/2019
 release 0.15.0 - 15/02/2019