Skip to content

Rephrased error message for disallowed sections in virtual workspace - #8200

Merged
bors merged 1 commit into
rust-lang:masterfrom
Julian-Wollersberger:master
May 14, 2020
Merged

bors merged 1 commit into
rust-lang:masterfrom
Julian-Wollersberger:master

Commits

Commits on May 14, 2020