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