From 7a94960957e37c198e93dfbd7af864799b01650d Mon Sep 17 00:00:00 2001
From: Peter Stephenson <p.w.stephenson@ntlworld.com>
Date: Wed, 13 Nov 2013 22:14:27 +0000
Subject: 31977: It's OK to autoload a feature that's loaded. Simply check that
 the feature is from the same module that's requested.

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

(limited to 'ChangeLog')

diff --git a/ChangeLog b/ChangeLog
index 18538a5a1..63eca13a0 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2013-11-13  Peter Stephenson  <p.w.stephenson@ntlworld.com>
 
+	* 31977: Src/module.c: no error if autoloading a feature that
+	is already loaded in a consistent fashion.
+
 	* Jun T.: 31971: locale fix for helpfiles.
 
 	* Martin Vaeth: 31959: .gitignore, Doc/help/.cvsignore,
-- 
cgit 1.4.1