K 10 svn:author V 4 rene K 8 svn:date V 27 2020-06-24T21:15:40.308238Z K 7 svn:log V 94 Take salvadore@'s commit bit in for safekeeping per his request. With hat: portmgr-secretary END