Skip to content

rustdoc: use browser-native tooltips for code and notable hover#111856

Closed
notriddle wants to merge 1 commit intorust-lang:masterfrom
notriddle:master
Closed

rustdoc: use browser-native tooltips for code and notable hover#111856
notriddle wants to merge 1 commit intorust-lang:masterfrom
notriddle:master

Commits

Commits on May 23, 2023