Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

Fix dump_url output #138

Closed
wants to merge 1 commit into
from

Conversation

Projects
None yet
2 participants
Contributor

cmr commented Dec 4, 2012

No description provided.

@bnoordhuis bnoordhuis referenced this pull request Dec 5, 2012

Closed

Fix #133 #139

Owner

bnoordhuis commented Dec 5, 2012

Thanks, landed in 54f6c78.

@bnoordhuis bnoordhuis closed this Dec 5, 2012

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