> From: Philipp Stephani <p.stephani2@gmail.com>
> Date: Tue, 10 May 2016 21:25:47 +0000
> Cc: 23288@debbugs.gnu.org
>
>  Agreed. https://debbugs.gnu.org/cgi/bugreport.cgi?bug=17887 might also be related.
>
> I've attached a new patch that should hopefully correct the behavior.

Thanks.  If no one objects in a week, please push to the master
branch.