Skip to content

Improve overloads of parse_args() -- it never returns None#2643

Merged
gvanrossum merged 2 commits intomasterfrom
fix-parse-args
Nov 28, 2018

Commits

Commits on Nov 28, 2018