Skip to content

Add comment to explain why we change the layout for Projection#61193

Merged
bors merged 1 commit intorust-lang:masterfrom
spastorino:add-comment
May 26, 2019
Merged

Add comment to explain why we change the layout for Projection#61193
bors merged 1 commit intorust-lang:masterfrom
spastorino:add-comment

Commits

Commits on May 25, 2019