Skip to content

Conversation

rvagg
Copy link
Member

@rvagg rvagg commented Jan 8, 2015

Will leave most of the rest of the renaming to @bnoordhuis but I'd like this to be done while I'm testing release builds

@bnoordhuis
Copy link
Member

LGTM, it even merges cleanly with my WIP renaming patch. :-)

@bnoordhuis
Copy link
Member

Closing, subsumed by f17f473.

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.

2 participants