librustc cleanups #6224

Merged
merged 7 commits into from May 15, 2013

Projects

None yet

4 participants

@erickt
Collaborator
erickt commented May 3, 2013

Just a couple minor cleanups and renames of librustc

@brson
Collaborator
brson commented May 3, 2013

Nice cleanup. 🐟

@erickt
Collaborator
erickt commented May 6, 2013

I've rebased this against head and fixed the bors issues.

@graydon
graydon commented May 7, 2013

sadly niko's borrowcheck change made it bitrot again

@erickt
Collaborator
erickt commented May 9, 2013

@graydon: this pull request is mergable again :)

@erickt
Collaborator
erickt commented on 729708d May 15, 2013

r+

Collaborator
bors replied May 15, 2013

saw approval from erickt
at erickt@729708d

Collaborator
bors replied May 15, 2013

merging erickt/rust/rustc-cleanup = 729708d into auto

Collaborator
bors replied May 15, 2013

erickt/rust/rustc-cleanup = 729708d merged ok, testing candidate = 217f963

Collaborator
bors replied May 15, 2013

fast-forwarding incoming to auto = 217f963

@bors bors added a commit that referenced this pull request May 15, 2013
@bors bors auto merge of #6224 : erickt/rust/rustc-cleanup, r=erickt
Just a couple minor cleanups and renames of librustc
217f963
@bors bors closed this May 15, 2013
@bors bors merged commit 729708d into rust-lang:incoming May 15, 2013

1 check passed

default all tests passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment