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

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

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