Skip to content

Add basic tooltips to adjustment hints#13947

Merged
bors merged 1 commit intorust-lang:masterfrom
WaffleLapkin:adjustment_hint_tooltips
Jan 16, 2023
Merged

Add basic tooltips to adjustment hints#13947
bors merged 1 commit intorust-lang:masterfrom
WaffleLapkin:adjustment_hint_tooltips

Commits

Commits on Jan 16, 2023