K 10 svn:author V 4 ngie K 8 svn:date V 27 2017-09-24T19:53:17.514340Z K 7 svn:log V 95 Re-add BSD.coverage.dist install This was an accidental mismerge in r321458 (MFC from ^/head) END