Improve display for "copy-path" button, making it more discreet#85407
Merged
bors merged 1 commit intorust-lang:masterfrom May 18, 2021
Merged
Improve display for "copy-path" button, making it more discreet#85407bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom