https://pantsbuild.org/ logo
w

wide-energy-11069

10/13/2017, 7:48 PM
if
options.quiet
is from hardcoded value, then go with the default aka status quo, otherwise enforce it. hope that’s clear?