Daniel Baumann <mail@xxxxxxxxxxxxxxxxx> writes: > On 07/25/2018 12:54 PM, Ævar Arnfjörð Bjarmason wrote: >> The code you're modifying doesn't exist in the "pu" branch since >> 249d626f2c > > indeed, thanks. > >> From looking at it it seems we no longer have this problem, >> but perhaps you'd like to check that out for yourself? > Yes, it's not needed anymore at all, yay! > > Sorry for the noise. Thanks for reporting. It is 100% better to see occasional duplicates than nothing.
