K 10 svn:author V 4 rene K 8 svn:date V 27 2017-08-20T09:12:57.221047Z K 7 svn:log V 74 Take in rpaulo@'s ports bit per his request. With hat: portmgr-secretary END