K 10 svn:author V 4 rene K 8 svn:date V 27 2020-11-03T20:41:02.578570Z K 7 svn:log V 100 Take in araujo@'s ports commit bit in for safekeeping per his request. With hat: portmgr-secretary END