Build History for pull/2736

in Bin_conf, discard *all* output from cmdliner Currently, Cmdliner is given a formatter that drops any text, but Cmdliner can (and does) print whitespace via the non-overridden out_spaces, out_indent and out_newlines.