K 10 svn:author V 4 rene K 8 svn:date V 27 2016-09-18T11:45:56.618195Z K 7 svn:log V 97 Reset jase@'s ports after taking in his commit bit for safekeeping. With hat: portmgr-secretary END