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

updated the RFC #1

Closed
wants to merge 1,495 commits into from
Closed

updated the RFC #1

wants to merge 1,495 commits into from

Conversation

iopq
Copy link

@iopq iopq commented Mar 2, 2017

added a few lines about rust-lang#1812 as further motivation

ranweiler and others added 30 commits July 19, 2016 09:20
Explicit type punning alternative.
nrc and others added 29 commits January 31, 2017 09:34
Fix typo (Decalrative -> Declarative)
L102: Nomencalture -> Nomenclature
L111: alterantive -> alternative
Under the heading "What the process is" a word was duplicated assumingly by
accident:

  > "The sub-team will will either close"

... the above should probably be:

  > "The sub-team will either close"
There was an inconsistent use of "PR" and "pull request" throughout the
document. I believe that I read an article from GitHub that they suggested
the use of "pull request" instead of "PR" for the purposes of clarity.
@iopq iopq closed this Jul 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.