Skip to content

fix ptr_rotate comments#52502

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:rotate
Jul 21, 2018
Merged

fix ptr_rotate comments#52502
bors merged 1 commit intorust-lang:masterfrom
RalfJung:rotate

Commits

Commits on Jul 19, 2018