Skip to content

Auto merge of #531 - ToMe25:optimize_is_disjoint, r=Amanieu #740

Auto merge of #531 - ToMe25:optimize_is_disjoint, r=Amanieu

Auto merge of #531 - ToMe25:optimize_is_disjoint, r=Amanieu #740