Eli Zaretskii schrieb am Mi., 11. Mai 2016 um 10:14 Uhr: > > From: Philipp Stephani > > 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. > Pushed to master (after moving the test file).