log dbrandom.c @ 1411:798854f62430 fuzz

age author description
Wed, 14 Jun 2017 23:31:42 +0800 Matt Johnston merge from main fuzz