Code

Rename some OwnerId fields.#103618

Code

Merged

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

nnethercote:rename-OwnerId-fieldsnnethercote/rust:rename-OwnerId-fieldsCopy head branch name to clipboard

Oct 29, 2022

Commits

Commits on Oct 29, 2022

• Rename some `OwnerId` fields.

  Show description for c8c25ce
  nnethercote

  committed
  c8c25ce

  Copy full SHA for c8c25ce