K 10 svn:author V 4 rene K 8 svn:date V 27 2018-07-04T14:12:04.980766Z K 7 svn:log V 72 Safekeep ian@'s ports bit per his request. With hat: portmgr-secretary END