K 10
svn:author
V 4
rene
K 8
svn:date
V 27
2017-08-20T10:42:45.490899Z
K 7
svn:log
V 100
Return these ports to the pool after rpaulo@ handed in his commit bit.

With hat:	portmgr-secretary

END