log debug.h @ 1546:bb8eaa26bc93 fuzz

age author description
Sat, 17 Feb 2018 19:29:51 +0800 Matt Johnston merge from main fuzz
Wed, 14 Feb 2018 00:24:44 +0800 Matt Johnston Move DEBUG_TRACE to default_options