fix cli issue when providing --help=false.#3442

Merged

SeanTAllen merged 1 commit intomasterfrom cli-help-false

Jan 8, 2020

Commits on Jan 7, 2020

fix cli issue when providing --help=false.
mfelsche
committed