K 10
svn:author
V 4
rene
K 8
svn:date
V 27
2019-08-05T20:07:06.984884Z
K 7
svn:log
V 100
Return jgh's ports to the various pools after his commit bit was safekept.

Hat:		portmgr-secretary

END