log default_options.h @ 1580:7f2be495dff6 coverity

age author description
Sun, 04 Mar 2018 15:07:09 +0800 Matt Johnston merge coverity coverity