K 10 svn:author V 3 gjb K 8 svn:date V 27 2012-08-22T16:27:42.064798Z K 7 svn:log V 70 Force-commit to portmgr/index.sgml so website picks up recent change. END