Skip to content
This repository was archived by the owner on Jan 1, 2020. It is now read-only.

Conversation

@lsmith77
Copy link

No description provided.

@lsmith77
Copy link
Author

FYI @adou600

@flack
Copy link
Collaborator

flack commented Feb 4, 2013

Just a quick question: #46 mentions that this PR might be superfluous. Seeing how it's only two changed lines, while the other one is a bit bigger, I can merge it before. So if you still want this, just let me know, then I'll merge it.

@dbu
Copy link
Collaborator

dbu commented Feb 14, 2013

if #46 is merged, this can just be closed, as its fully contained in that PR

@flack
Copy link
Collaborator

flack commented Feb 14, 2013

Closing as discussed

@flack flack closed this Feb 14, 2013
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants