1 files changed, 5 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index 677c072..b26d8a9 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2013-06-15  Bernhard Reutner-Fischer  <aldot@gcc.gnu.org>
+
+	* doc/user.xml: Fix spacing before productname.
+	* doc/dejagnu.texi: Regenerate.
+
 2013-06-12  Bernhard Reutner-Fischer  <aldot@gcc.gnu.org>
 
 	* testsuite/runtest.all/default_procs.tcl (send_log): Use the