Skip to content

Auto merge of #10727 - john-h-k:lint/dup-auto-traits, r=Manishearth #12484

Auto merge of #10727 - john-h-k:lint/dup-auto-traits, r=Manishearth

Auto merge of #10727 - john-h-k:lint/dup-auto-traits, r=Manishearth #12484

The logs for this run have expired and are no longer available.