From: Matthias Krüger Date: Tue, 7 Feb 2023 16:57:14 +0000 (+0100) Subject: Rollup merge of #107471 - notriddle:notriddle/default-settings, r=GuillaumeGomez X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=44bc2db4842842b63dfa69a0bd3b5e65ee523f51;p=rust.git Rollup merge of #107471 - notriddle:notriddle/default-settings, r=GuillaumeGomez rustdoc: do not include empty default-settings tag in HTML --- 44bc2db4842842b63dfa69a0bd3b5e65ee523f51