log default_options.h @ 1641:a2bbc22ea1e6 coverity

age author description
Thu, 21 Mar 2019 00:14:38 +0800 Matt Johnston merge coverity coverity