Build union of two maps/sets by mutating the larger one, not the first#163

Merged

bodil merged 1 commit intobodil:masterfrom octobus-net:union

Apr 29, 2022

Commits on Dec 17, 2020

Build union of two maps/sets by mutating the larger one, not the first
SimonSapin
committed