From: Dylan DPC Date: Sun, 29 Nov 2020 02:14:13 +0000 (+0100) Subject: Rollup merge of #79340 - GuillaumeGomez:rename-stability, r=jyn514 X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=858b44a4338b403cdc9bf5669af768738e0d85f3;p=rust.git Rollup merge of #79340 - GuillaumeGomez:rename-stability, r=jyn514 Rename "stability" CSS class to "item-info" and combine `document_stability` with `document_short` Follow-up of #79300 The point of this PR is to make the CSS class more accurate since it's not only about stability anymore. r? ``@jyn514`` --- 858b44a4338b403cdc9bf5669af768738e0d85f3