Update package for v0.15.4 release

Author: wilfwilson

CHANGELOG.md

@@ -3,6 +3,21 @@ 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.4 (released 06/08/2019)
+
+This is a minor release that fixes a few bugs.
+
+In previous versions, the homomorphism-finding tools sometimes returned
+purported ‘monomoprhisms’ that were not injective.  This problem was reported by
+Gordon Royle, see
+[Issue #222](https://github.com/gap-packages/Digraphs/issues/222),
+and fixed by [James D. Mitchell](http://goo.gl/ZtViV6) in
+[PR #223](https://github.com/gap-packages/Digraphs/pull/223).
+In addition, [Wilf A. Wilson](http://wilf.me)
+[fixed a bug](https://github.com/gap-packages/Digraphs/commit/458a10298b08881bf7ee9207534ce431378d2c4e)
+in `DigraphNrEdges`. This function could previously lead to a crash when given a
+digraph whose `OutNeighbours` contained entries not in `IsPlistRep`.
+
 ## Version 0.15.3 (released 12/06/2019)
 
 This is a minor release that fixes a typo in the documentation of

PackageInfo.g

@@ -9,20 +9,20 @@
 ##
 
 ##  <#GAPDoc Label="PKGVERSIONDATA">
-##  <!ENTITY VERSION        "0.15.3">
+##  <!ENTITY VERSION        "0.15.4">
 ##  <!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.3">
+##  <!ENTITY ARCHIVENAME    "digraphs-0.15.4">
 ##  <!ENTITY COPYRIGHTYEARS "2014-19">
 ##  <#/GAPDoc>
 
 SetPackageInfo(rec(
 PackageName := "Digraphs",
 Subtitle := "Graphs, digraphs, and multidigraphs in GAP",
-Version := "0.15.3",
-Date := "12/06/2019",  # dd/mm/yyyy format
+Version := "0.15.4",
+Date := "06/08/2019",  # dd/mm/yyyy format
 License := "GPL-3.0-or-later",
 ArchiveFormats := ".tar.gz",
 

VERSION

@@ -1 +1 @@
-0.15.3
+0.15.4

VERSIONS

@@ -8,6 +8,7 @@
 #############################################################################
 ##
 
+release 0.15.4 - 06/08/2019
 release 0.15.3 - 12/06/2019
 release 0.15.2 - 17/04/2019
 release 0.15.1 - 26/03/2019