rustdoc: do not include empty default-settings tag in HTML - #107471

rustdoc: do not include empty default-settings tag in HTML#107471

bors merged 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

notriddle:notriddle/default-settingsnotriddle/rust:notriddle/default-settingsCopy head branch name to clipboard