> Date: Sun, 08 Oct 2017 19:05:53 +0300
> From: Eli Zaretskii <eliz@gnu.org>
> Cc: eggert@cs.ucla.edu, emacs-devel@gnu.org
>
> > From: Philipp Stephani <p.stephani2@gmail.com>
> > Date: Sun, 08 Oct 2017 14:58:45 +0000
> > Cc: emacs-devel@gnu.org
> >
> > OK, here's a patch.
>
> Thanks, a few minor comments:

Oh, and one more: this needs a NEWS entry.