Skip to content

Preserve more properties in DirectProduct#3053

Merged
fingolfin merged 2 commits intogap-system:masterfrom wilfwilson:update-direct-productNov 26, 2018