Skip to content

Make rmeta_required no longer depend on whether timing is enabled#10254

Merged
bors merged 1 commit intorust-lang:masterfrom joshtriplett:rmeta-required-no-timingsJan 4, 2022
+1-1

Commits

Commits on Jan 4, 2022