Skip to content

Slight visual improvements to warning boxes in the docs#83405

Merged
bors merged 1 commit intorust-lang:masterfrom wooster0:deprecated_emojiMar 24, 2021
+13-4

Commits

Commits on Mar 23, 2021