Skip to content

Rename "stability" CSS class to "item-info" and combine document_stability with document_short#79340

Merged
bors merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:rename-stability
Nov 29, 2020
Merged

Rename "stability" CSS class to "item-info" and combine `document_stability` with `document_short`#79340
bors merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:rename-stability

Commits

Commits on Nov 24, 2020