Eli Zaretskii <eliz@gnu.org> schrieb am Sa., 3. Feb. 2018 um 09:19 Uhr:

> > From: Philipp Stephani <p.stephani2@gmail.com>
> > Date: Fri, 02 Feb 2018 19:43:41 +0000
> > Cc: "Basil L. Contovounesios" <contovob@tcd.ie>, 30297@debbugs.gnu.org
> >
> >  > Attached is a doc fix suggestion.
> >
> >  Philipp, any comments?
> >
> > LGTM.
>
> Thanks, then could you please push it to master, in Basil's name (he
> has a copyright assignment on file, in case you wondered).
>

Done.