v0.2 branch: derive Copy instead of implementing it by hand#1031
Open
RalfJung wants to merge 1 commit into
Open
v0.2 branch: derive Copy instead of implementing it by hand#1031RalfJung wants to merge 1 commit into
RalfJung wants to merge 1 commit into
