Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merge pull request rust-lang#2092 from Aleru/master #2

Merged
merged 7 commits into from
Oct 15, 2019

Commits on Sep 13, 2019

  1. Configuration menu
    Copy the full SHA
    bb76d1d View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    f0e949c View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    c2cffb1 View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2019

  1. fix heading level

    Kai Zhang committed Oct 14, 2019
    Configuration menu
    Copy the full SHA
    70a8251 View commit details
    Browse the repository at this point in the history
  2. fix heading level (#2117)

    fix heading level
    carols10cents authored Oct 14, 2019
    Configuration menu
    Copy the full SHA
    e6d12af View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    a5a5bf9 View commit details
    Browse the repository at this point in the history
  4. Merge pull request #2092 from Aleru/master

    Make a portion of text less ambiguous
    steveklabnik authored Oct 14, 2019
    Configuration menu
    Copy the full SHA
    9bb8b16 View commit details
    Browse the repository at this point in the history