Make some docs nicer wrt pointer offsets#100821

Merged

bors merged 2 commits intorust-lang:masterfrom WaffleLapkin:ptr_add_docs

Aug 21, 2022

+15-17

Commits on Aug 20, 2022

Make some docs nicer wrt pointer offsets
WaffleLapkin
committed

Commits on Aug 21, 2022

fix nitpicks from review
WaffleLapkin
committed