K 10 svn:author V 2 dd K 8 svn:date V 27 2004-09-13T12:55:46.000000Z K 7 svn:log V 98 The platform references machines always run HEAD, so drop the branch number from their OS fields. END