On Tue, Feb 27, 2018 at 10:55:05PM +0100, Ludovic Courtès wrote: > What should we do? Status quo? Throwing a ‘delete-duplicates’ call? > Let’s have a poll! ;-)
The thing is confusing, and delete-duplicates should be essentially for free, so I would support to call it. (Well, I filed the bug since I consider this behaviour to be a bug, no big surprise then!) Andreas
