From fbf5d093e4cc700bdc9fad892b015937d0937706 Mon Sep 17 00:00:00 2001
From: Chris Wensley <cwensley1234@btinternet.com>
Date: Wed, 4 Oct 2017 16:00:33 +0100
Subject: [PATCH] add note to history in the manual

---
 doc/history.xml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/doc/history.xml b/doc/history.xml
index ced26d5..d389b55 100644
--- a/doc/history.xml
+++ b/doc/history.xml
@@ -58,6 +58,12 @@ In August 2017 the implementation of groupoid homomorphisms was completely
 revised with the emphasis now on a mapping from a set of generating arrows 
 to their images. 
 <P/>
+In September 2017 various functions were revised so that, at last, 
+the operation <C>DiscreteNormalPreXModWithObjects</C> 
+in <Package>XMod</Package> works again. 
+This constructs a crossed module of groupoids with a connected range 
+and a homogeneous, discrete source. 
+<P/>
 The latest version is &GROUPOIDSVERSION; of &GROUPOIDSLONGRELEASEDATE;, 
 for &GAP; 4.9. 
 <P/>