Ricardo Wurmus <[email protected]> skribis: > Andreas Enge <[email protected]> writes: > >> 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!) > > I agree. I don’t see a reason to allow for the same package to appear > more than once in the manifest.
Alright, fixed in 435603a1d6106b535cf143d17cb030b2d0795b54, thanks! Ludo’.
