Skip to content

Revert "Port union reduction to 1.7"#5921

Merged
vladima merged 3 commits intorelease-1.7from
revert-5919-port_union_reduction_to_1.7
Dec 4, 2015
Merged

Revert "Port union reduction to 1.7"#5921
vladima merged 3 commits intorelease-1.7from
revert-5919-port_union_reduction_to_1.7

Commits

Commits on Dec 4, 2015