extend union to do "disjoint union"
#3283
Merged
The logs for this run have expired and are no longer available.
Loading