log dbrandom.h @ 1719:25b0ce1936c4

age author description
Sat, 17 Feb 2018 19:29:51 +0800 Matt Johnston merge from main fuzz