Skip to content

Merge -Zhir-stats into -Zinput-stats#133023

Merged
bors merged 2 commits intorust-lang:masterfrom
samestep:hir-stats-total-count
Nov 19, 2024
Merged

Merge `-Zhir-stats` into `-Zinput-stats`#133023
bors merged 2 commits intorust-lang:masterfrom
samestep:hir-stats-total-count

Commits

Commits on Nov 15, 2024