Fix command line option typo #11220

Closed
wants to merge 1 commit into
from

Conversation

Projects
None yet
2 participants
Collaborator

Vitallium commented Apr 9, 2013

Issue: #11219

Owner

ariya commented Apr 13, 2013

It's landed. Good catch, thank you!

@ariya ariya closed this Apr 13, 2013

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