On 05/29/2017 05:29 PM, Enrico Forestieri wrote: > 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.
I've done so. Richard