K 10 svn:author V 2 mi K 8 svn:date V 27 2020-06-10T03:29:45.688023Z K 7 svn:log V 130 Fix build on HEAD, where the NO_MAN-knob is no longer valid. Add license-declaration. PR: 246163 Submitted by: Chris Hutchinson END