> From: Philipp Stephani <p.stephani2@gmail.com>
> Date: Sat, 21 Nov 2015 09:25:09 +0000
> Cc: eggert@cs.ucla.edu, emacs-devel@gnu.org
>
>     LGTM, please push.
>
> I don't have write access to the Savannah repository, can you please install
> the patch for me?

Done.

Btw, I see you don't have a copyright assignment on file.  Would you
like to start the paperwork to do that now, so that your future
contributions won't stall?