Eli Zaretskii <eliz@gnu.org> schrieb am Fr., 2. Feb. 2018 um 16:24 Uhr:

> > From: Philipp Stephani <p.stephani2@gmail.com>
> > Date: Sun, 28 Jan 2018 20:38:12 +0000
> > Cc: 30164@debbugs.gnu.org
> >
> >  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.