Closed piotrgredowski closed 2 months ago
Remove redundant information about toolchain fetch being an alias of toolchain fetch.
toolchain fetch
I just noticed this today. Glad to see a PR already.
Remove redundant information about
toolchain fetch
being an alias oftoolchain fetch
.