Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.
Sign upRename `Config` type #189
Comments
alexcrichton
added
the
help wanted
label
Jul 13, 2017
This comment has been minimized.
This comment has been minimized.
|
+1 for |
This comment has been minimized.
This comment has been minimized.
dtolnay
commented
Jul 31, 2017
|
I am not a fan of Some alternatives to explore:
|
This comment has been minimized.
This comment has been minimized.
|
|
laumann
added a commit
to laumann/gcc-rs
that referenced
this issue
Aug 8, 2017
laumann
added a commit
to laumann/gcc-rs
that referenced
this issue
Aug 8, 2017
laumann
added a commit
to laumann/gcc-rs
that referenced
this issue
Aug 9, 2017
alexcrichton
closed this
in
#226
Aug 10, 2017
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
brson commentedJul 13, 2017
This is not all that descriptive a name, though we're not sure what a better name is. I suggest
Builder. If nothing better comes up, pick that and we'll bikeshed it on the PR.cc @alexcrichton @sfackler @dtolnay @Kimundi @BurntSushi bikeshedding.