Update configure --help (via configure.py) to reflect decoupling of debug+optimize#55703
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 6, 2018
configure --help (via configure.py) to reflect decoupling of debug+optimize#55703