K 10 svn:author V 4 rene K 8 svn:date V 27 2016-08-21T12:04:19.705188Z K 7 svn:log V 72 Take in sem@'s commit bit per his request. With hat: portmgr-secretary END