K 10 svn:author V 7 mandree K 8 svn:date V 27 2019-10-21T18:21:13.699086Z K 7 svn:log V 154 databases/db5, databases/db6: Hook up DEBUG options helpers PR: 241361 Submitted by: tobik@ MFH: 2019Q4 (blanket, adds an option that defaults to off) END