Skip to content

Remove redundant dump_enabled check#89893

Merged
bors merged 2 commits intorust-lang:masterfrom
camsteffen:redundant-dump-enabled
Oct 22, 2021

Commits

Commits on Oct 14, 2021