Re: [PATCH v2 0/2] docs: rust: update instructions for obtaining 'core' source

[Miguel Ojeda <miguel.ojeda.sandonis@xxxxxxxxx>]

On Thu, Aug 3, 2023 at 8:12 AM Trevor Gross <tmgross@xxxxxxxxx> wrote:
>
> This changes the suggested method of obtaining Rust's source to using the
> tarball rather than a full clone, and adds a clarification about 'rustup
> override'.

Applied to `rust-next`, thanks!

In the second patch, I undid the `:` to `::` change -- the latter is
meant to create a literal block.

Cheers,
Miguel