log default_options.h @ 1545:0b991dec7ab9 coverity

age author description
Mon, 26 Feb 2018 22:43:12 +0800 Matt Johnston merge coverity coverity
Mon, 26 Feb 2018 22:42:53 +0800 Matt Johnston make group1 client-only
Mon, 26 Feb 2018 22:14:11 +0800 Matt Johnston disable group1 in default config
Mon, 19 Feb 2018 23:14:49 +0800 Matt Johnston merge coverity coverity