Skip to content

Conversation

piti118
Copy link
Contributor

@piti118 piti118 commented Jan 17, 2013

Oops.

@mdboom
Copy link
Member

mdboom commented Jan 17, 2013

Closing, since I already merged manually in the meantime.

@mdboom mdboom closed this Jan 17, 2013
@piti118
Copy link
Contributor Author

piti118 commented Jan 17, 2013

OK

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