Skip to content
New issue

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

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

Already on GitHub? # 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
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.