Fix issue18076: allow -run to work with - (stdin)#7435
Merged
wilzbach merged 2 commits intodlang:masterfrom Dec 15, 2017
Merged
Fix issue18076: allow -run to work with - (stdin)#7435wilzbach merged 2 commits intodlang:masterfrom
wilzbach merged 2 commits intodlang:masterfrom
Commits
Commits on Dec 14, 2017
- committed
H. S. Teoh - committedH. S. Teoh