Skip to content

Use correct CSS pseudo-element selector#106091

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:correct-css-pseudo-element
Dec 24, 2022
Merged

Use correct CSS pseudo-element selector#106091
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:correct-css-pseudo-element

Commits

Commits on Dec 23, 2022