Skip to content
This repository has been archived by the owner on May 30, 2023. It is now read-only.

Minor bug in parsing the proxy-type command line option. #186

Closed
wants to merge 1 commit into from
Closed

Minor bug in parsing the proxy-type command line option. #186

wants to merge 1 commit into from

Conversation

willscott
Copy link
Contributor

should be self explanatory.

@ariya
Copy link
Owner

ariya commented Dec 26, 2011

Merged. Thanks!

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.

None yet

2 participants