K 10
svn:author
V 4
rene
K 8
svn:date
V 27
2016-08-21T11:58:26.776538Z
K 7
svn:log
V 65
Reset sem@'s ports per his request.

With hat:	portmgr-secretary

END