Eli Zaretskii <eliz@gnu.org> schrieb am So., 10. Dez. 2017 um 08:08 Uhr:

> > From: Philipp Stephani <p.stephani2@gmail.com>
> > Date: Sat, 09 Dec 2017 23:05:35 +0000
> > Cc: Eli Zaretskii <eliz@gnu.org>, emacs-devel@gnu.org
> >
> > Is that patch OK for master?
>
> Yes, thanks.
>

Thanks, pushed as ab203e36d5.