K 10 svn:author V 4 rene K 8 svn:date V 27 2016-09-23T08:41:28.554317Z K 7 svn:log V 80 Reset erwin@'s ports, he handed in his commit bit. With hat: portmgr-secretary END