Eli Zaretskii <address@hidden
> schrieb am Fr., 2. Feb. 2018 um 16:24 Uhr:
> From: Philipp Stephani <address@hidden>
> Date: Sun, 28 Jan 2018 20:38:12 +0000
> Cc: address@hidden
> Here is a patch.
Thanks, this LGTM, but I think it needs a NEWS entry. Also, please
see if something we say about 'load' and load-history needs updating
due to this changeset.
Thanks, pushed to master as 0443411f5c.
The manual didn't say anything in particular about differences in behavior for loading modules (which makes sense, the previous behavior was clearly buggy), so no change to the manual was necessary.