K 10 svn:author V 3 jrm K 8 svn:date V 27 2020-02-14T03:21:03.728501Z K 7 svn:log V 209 Take in Garrett Wollman (wollman's) commit bit for safe keeping and after discussion with Garrett. Thank you for nearly a quarter century of contributions to the src repository! Approved by: core (implicit) END