On Mon, May 29, 2017 at 11:15:01PM +0200, Enrico Forestieri wrote: > > Anyway, neither the change is desired, nor I can explain how that hunk > slipped in, so I am going to revert it.
Reverted at 90c423a6. Richard, I fear this slipped in also in stable, so you may want to revert it there, too. -- Enrico
