From ffca2d28a3909351b1da633bec179a47ac9280e0 Mon Sep 17 00:00:00 2001
From: Ben Elliston <bje@gnu.org>
Date: Thu, 22 Nov 2018 12:01:56 +1100
Subject: 	* doc/dejagnu.texi (Customizing DejaGnu): Document error
 handling 	of the $DEJAGNU environment variable (see change below).

---
 ChangeLog | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'ChangeLog')

diff --git a/ChangeLog b/ChangeLog
index 5bb6b99..900ba16 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2018-11-22  Ben Elliston  <bje@gnu.org>
+
+	* doc/dejagnu.texi (Customizing DejaGnu): Document error handling
+	of the $DEJAGNU environment variable (see change below).
+
 2018-11-22  Jacob Bachmeyer  <jcb62281@gmail.com>
 
 	* runtest.exp: Raise error if $DEJAGNU is defined but not found.
-- 
cgit v1.1