K 10 svn:author V 4 rene K 8 svn:date V 27 2016-11-16T22:55:39.044505Z K 7 svn:log V 83 Reset edwin's ports, he has handed in his commit bit. With hat: portmgr-secretary END