Code

Remove -Ztime#102725

Code

Merged

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom

nnethercote:rm-Z-timennethercote/rust:rm-Z-timeCopy head branch name to clipboard

Oct 6, 2022

Commits

Commits on Oct 6, 2022

• Fix some comments.

  Show description for eea06de
  nnethercote

  committed
  eea06de

  Copy full SHA for eea06de

• Remove `-Ztime` option.

  Show description for 9110d92
  nnethercote

  committed
  9110d92

  Copy full SHA for 9110d92

• Be consistent about deciding whether to print pass data.

  Show description for 4e8faff
  nnethercote

  committed
  4e8faff

  Copy full SHA for 4e8faff